YouTube home Comedy Week on YouTube
Play Upload

DVCon 2012: NextOp update - new customers, new data from the field

Joe Hupcey III Joe Hupcey III·65 videos
21
105 views
Like     Dislike 0

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Joe Hupcey III's video to your playlist.

Published on Mar 5, 2012

In this interview on the floor of DVCon 2012, NextOp CEO shares the latest news on how customers are applying assertion synthesis for spec verification as much as dynamic and formal assertion-based verification. Yunshan also gives a preview of the DVCon tutorial, "Using 'Apps' to Take Formal Analysis Mainstream", http://dvcon.org/eventdetails?id=131-5-T More on NextOp and their flagship product, BugScope: http://www.nextopsoftware.com/

The interactive transcript could not be loaded.
Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

All Comments (0)

Sign in now to post a comment!
  • Loading comment...
Loading...
Loading...
Working...
Sign in to add this to Watch Later