• 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: DAC 2011 Update From NextOp CEO Yunshan Zhu
jvh3
jvh3

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
Cadence Connections
NextOp
DAC
uvm
ABV
Yunshan Zhu
verification strategy
Functional Verification
Formal Analysis
BugScope
assertion synthesis
assertions
Design Automation Conference
Formal verification
verification
Assertion-based verification

Video: DAC 2011 Update From NextOp CEO Yunshan Zhu

23 Jun 2011 • Less than one minute read

At DAC 2011 I had the opportunity to reconnect with Yunshan Zhu, the CEO of NextOp Software. After a quick update on their flagship product (BugScope 3.0), Yunshan shares his observations on how assertion synthesis can complement the Universal Verification methodology (UVM), plus he reveals specific application spaces where they have seen BugScope be particularly effective.

If the video fails to play, click here.

Note: in case you were wondering, the NextOp booth was as busy as ever -- we were lucky to squeeze in this shoot among the steady parade of prospects coming in and out of their demo suites.

Happy Assertion Synthesizing!

Joe Hupcey III

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


Reference Links

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

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

The DVCon 2011 update with Yunshan

Introductory video interview with Yunshan last October

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