EDA/IP 
Formal verification tool provides fine control over thoroughness
Keywords: Averant formal verification tool Solidify 4.0 formal tool XX
[Summary of tips] Privately held EDA vendor Averant Inc. released the next generation of its formal verification tool, Solidify 4.0, offering what the company claims is the industry's first formal tool to give designers fine control over the tool's thoroughness.According to executives from Averant, Solidify's guided proof system enables designer......Please login or register with us to view this article>>
|
Not a registered user?
Register FREE to view unlimited features, tutorials and products, and enable any content alert service!
 |
Already registered? Login to view complete content.
|
Comment on "Formal verification tool provides fi..."
Visitor0210
(To avoid code verification, simply login or register with us. It is fast and free!)
|
||||||||||||||
|
||||||||||||||
 |
Top Ranked Articles
Most Popular Articles
Search EE Times India
Max's Cool Beans
Strange modes of transport and other "stuff"
Someone just pointed me at a YouTube video that claims to show the world's first e-powered multicopter flight...
