New Blog: All About Integrated formal, Simulation, and Assertion-Based Verification Technologies & Methodologies

End-users of Incisive Formal Verifier ("IFV"), Incisive Enterprise Verifier ("IEV"), or anyone interested in either "pure formal" verification, integrated formal analysis and simulation verification, and assertion-based verification (“ABV”) in general: have we got the blog for you!

Today "Team Verify" is proud to roll out this new blog covering:

• Detailed tips, tricks, and power tools for formal verification; alond with advanced verification strategies made possible with integrated formal analysis and simulation engines
  
  
• Assertion-based verification best practices that enable the chip designers themselves to quickly perform effective verification on their blocks months before a traditional HDL testbench is available
  
  
• Leveraging & linking with the Open Verification Methodology (OVM), Metric-Driven verification (MDV) and other popular dynamic simulation methodologies and best practices.

We intend to make this blog VERY technical; including code and methodology examples in as many posts as possible.  Additionally, we will be inviting "guest bloggers" from Incisive R&D to give you some peaks at what goes on under-the-hood, Application Engineers from the Cadence Field organization to share what new trends that are seeing in their territories, and end-users to share their observations and best practices.

But what if you aren't familiar with formal verification?  That's OK -- Team Verify welcomes you to this blog as well, and we suspect you will find a home here.  Why?  Because in many cases the issues that this blog will be addressing are universal to functional verification, and thus seeing the formal and ABV approach to a given verification challenge can inspire thoughts about how you might to tackle a given problem with dynamic simulation languages/methodologies (especially now that IEV enables such easy mixing & matching between formal & dynamic simulation engines, and metric-driven planning & management tools like Incisive Enterprise Manager).

Finally, a note to subscribers of the current "Incisive Formal Newsletter": the current plan is to continue to publish both the newsletter and this blog.  Going foreword, the Newsletter will mainly focus on information appropriate for customers of IFV and IEV, whereas the blog will address broader issues of interest to all.

Feel free to contact us with any questions you have, and/or topics you would like to see us cover.

Happy bug hunting!

Team Verify

 

P.S. We are also on Twitter: @teamverify