Today "Team Verify" is proud to roll out this new blog covering:
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!
P.S. We are also on Twitter: @teamverify