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

Verification tool provides step-by-step approach

Posted: 21 Jan 2009  Print Version  Bookmark and Share Subscribe

Keywords: verification formal  beginner verification  beginner software 

[Summary of tips] Since the usage of formal verification tools within the chip design value chain hitherto is restricted to a small enlightened group, EDA tool vendor OneSpin Solutions GmbH hopes to bring this technique to broader acceptance. The company has amended its software and packaged it in a way that supports a step-by-step approach for ......
Please login or register with us to view this article>>
 

Article Comments - Verification tool provides step-by-s...
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..."
 

Go to top