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

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/