Home > Community > Blogs > Functional Verification > connections partner nextop on assertion synthesis and assertion based verification abv with bugscope
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Connections Partner NextOp on Assertion Synthesis and Assertion-Based Verification (ABV) with “BugScope”

Comments(0)Filed under: Functional Verification, CDNLive, ABV, IEV, formal, IFV, EDA360, Cadence Connections, NextOp, assertion synthesis

As anyone working in Formal and Assertion-Based Verification (ABV) knows, the task of writing assertions can quickly overwhelm even the most patient engineer.  While Team Verify has partially addressed this challenge with the "Automatic Formal Analysis" capability built into Incisive Formal and Enterprise Verifier tools, our new Cadence Connections program partner NextOp with their "BugScope" tool has taken "assertion synthesis" to a whole new level of automation by reading the testbench and DUT to automagically generate tons of relevant assertions (they've paid a lot of attention to weeding out redundant / overlapping assertions under-the-hood, before they are output to the user). AND they can channel their results to give you feedback on the quality of your functional coverage spec (really!).

NextOp will be at CDNLive Silicon Valley presenting a paper and exhibiting at the "Designer Expo" on October 26, 2010; and in advance of the event they have given in depth interviews to Richard Goering for his Industry Insights column, as well as a short video interview with Team Verify's own Joe Hupcey III:


If the video doesn't play, click here.

As you will glean from the written and video interviews, Cadence and NextOp already have some very happy joint customers.  The point is: if you are among the many that have soured on ABV over the years due to assertion "writer's cramp," this stuff might just get you back into the game.

Happy bug hunting!

Team Verify

On Twitter: @teamverify --  http://twitter.com/teamverify


Reference links

NextOp Software's home page:

NextOp's high-level overview of Assertion Based verification (ABV)

Post-DAC John Cooley Wiretap: "NextOp Kicked Ass"

Pre-DAC Tech Bites: "NextOp comes out of stealth mode. Tackles assertion synthesis"


Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.