EDA/IP 
Automated formal verification for OCP-based IP Cores
Keywords: formal verification FV bus protocols
[Summary of tips] The steep growth of verification complexity combined with shortened time to market requirements, necessitates the search for more efficient and automated verification practices.The automation of Formal Verification (FV) is a possible solution to address the problem on complexity. Corresponding to well-established verification t......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 "Automated formal verification for OC..."
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...
