EDA/IP 
Averant dives deep into formal verification
Keywords: Averant Inc. Solidify 4.0 simulation formal verification Larry Lapides
[Summary of tips] Privately held EDA vendor Averant Inc.'s booth at the recent Design Automation Conference (DAC) in San Francisco featured a graphic showing a toothbrush and dental floss, with the caption "For best results, use both." The analogy was meant to highlight the relationship between simulation and formal verification, according to Av......Please login or register with us to view this article>>
|
Not yet registered?
 Register FREE to view unlimited features, tutorials and products, and enable any content alert service! |
Registered already? Login to view complete content.
|
Article Comments - Averant dives deep into formal verif...
Visitor0530
(To avoid code verification, simply login or register with us. It is fast and free!)
Top Ranked Articles
Christmas Wishlist
All I want for Christmas is anything on this year's Best of Innovations Design and Engineering Award list!
Search EE Times Asia
Peek at Hot Gadgets for 2012
