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
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"