Pre-RTL Formal Verification: An Intel Experience.

Saved in:
Bibliographic Details
Title: Pre-RTL Formal Verification: An Intel Experience.
Authors: Beers, Robert1, robert.beers@intel.com
Source: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p806-811, 6p, 1 Chart
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first