• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Video: DVCon and DVClub Case Study: NextOp’s BugScope for…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
NextOp
ABV
videos
Functional Verification
BugScope
DVClub
broadcom
Jing Lee
DVcon
assertion synthesis
Yuan Lu
Assertion-based verification

Video: DVCon and DVClub Case Study: NextOp’s BugScope for Assertion-Based Verification (ABV)

28 Apr 2011 • Less than one minute read

Attendees of the Silicon Valley DVClub this past Tuesday were treated to some real life case studies of new tools that help D&V engineers rapidly create assertions (a full report on this event by Richard Goering is posted here) .  As it turns out, one of these case studies -- the presentation by Jing Lee of Broadcom on NextOp's BugScope tool -- had its origin in a poster session presented at DVCon 2011.  I had the pleasure of interviewing NextOp's Yuan Lu about this poster -- "let's go to the video tape":

If the video fails to play, click here.

Bottom-line: whichever perspective you take on this story (Jing Lee's talk at DVClub, or Yuan Lu's account in the video), it is clear NextOp's assertion synthesis approach has proven itself in this case.

Happy Assertion Synthesizing!

Joe Hupcey III
for Team Verify

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

 

Reference Links:
DVCon 2011 proceedings

NextOp Software's home page: http://www.nextopsoftware.com/

Video: DVCon 2011 Update From NextOp CEO Yunshan Zhu

Richard Goering "Industry Insights" interview: "Q&A: NextOp CEO Describes Assertion Synthesis"

 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information