will be under maintenance from Friday, Oct. 3rd at 6pm (PST) thru Sunday, Oct 5th at 11pm (PST). login, registration, community posting and commenting functionalities will be disabled.
Home > Community > Blogs > Functional Verification > video interview with nextop ceo yunshan zhu on 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 convenient.

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: *

Video: Interview With NextOp CEO Yunshan Zhu on Assertion-Based Verification (ABV) With “BugScope”

Comments(0)Filed under: Functional Verification, Formal Analysis, DAC, CDNLive, ABV, formal, EDA360, Cadence Connections, NextOp

What makes a startup "hot"?  To be sure, trade press and blogger attention helps.  But from where I sit, the truly hot companies are identified by an increasing frequency of emails from Application Engineers (AEs) and Sales people to the effect of "this new company is getting traction in my accounts - users love ‘em - are we partnering with them?" 

Such has been the case with NextOp Software since before their impressive debut at DAC 2010.  Yet despite all the positive buzz, NextOp had managed to retain an air of mystery that served them so well during their stealth mode.  Hence, upon meeting the NextOp team as they joined the Cadence Connections program, I immediately proposed a brief video interview to help introduce themselves to a wider audience.  To my delight, CEO Yunshan Zhu accepted the offer, and in this video he describes the problem space and target user they are going after, the capabilities of "BugScope" itself, and the alignment between their mission and the EDA360 vision paper's call for increased productivity and painless IP integration.

If the video doesn't play, click here.

In parallel to the video, colleague Richard Goering also conducted a more in-depth interview with Yunshan for the Industry Insights blog.

Finally, NextOp will be presenting a paper at the upcoming CDNLive Silicon Valley on October 26, 2010, as well as exhibiting at the "Designer Expo" that evening.

Happy bug hunting!

Joe Hupcey III

On Twitter: @jhupcey --


Reference Links

NextOp Software's home page:

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

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.