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

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
Cadence Connections
NextOp
uvm
ABV
metric driven verification (MDV)
Functional Verification
Formal Analysis
formal
Zhu
Palladium XP
SVA
DVcon
assertion synthesis
MDV
IEV
Formal verification
IFV
IES-XL

Video: DVCon 2011 Update From NextOp CEO Yunshan Zhu

21 Mar 2011 • Less than one minute read

At DVCon 2011 I had the opportunity to catch-up with NextOp's CEO Yunshan Zhu, where in this video he shares some anecdotes about the BugScope's performance in real world customer environments (including accelerating assertions in Palladium with -0- (zero, zip, zilch, nada) hardware overhead!), and how their technical success is to translating to the bottom-line.

If the video fails to play, click here.

Note: we had to shoot this video before the expo floor opened since this year the ballroom housing the DVCon expo was crammed with more booths and attendees than ever before.  So in case you were wondering, if booth traffic is any guide NextOp appeared to be as hot as ever since their booth was always busy:

And their joint poster session with Broadcom was a draw too:

 

Happy Assertion Synthesizing!

Joe Hupcey III

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

 

Reference Links

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

My original 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