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"