Global Sources
EE Times-Asia
 Challenges & Opportunities 2011     MCU     MEMS     IGBT     processor     LED     RFID
EE Times-Asia > EDA/IP
 
 
EDA/IP  

Averant dives deep into formal verification

Posted: 18 Sep 2006  Print Version  Bookmark and Share Subscribe

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>>
 
 

Article Comments - Averant dives deep into formal verif...
Comments:  
*  You can enter [0] more charecters.
*Verify code:
 
Christmas Wishlist
Peek at Hot Gadgets for 2012
Smart energy "Try explaining to your eight-year-old son that instead of an Xbox, you got him a Wi-Fi enabled smart energy thermostat to help minimize his energy consumption and carbon footprint..."