DAC 2011: Vigyan Singhal interview With Richard Goering


Vigyan Interview with Richard Goering

Oski Technology CEO Vigyan Singhal interviewed by Richard Goering, discusses why formal verification can offer 6X speedup vs. simulation, where formal works best (or not), and how we can now display simulation and formal coverage results on the same design, using one set of metrics, for the proper integration of formal into a simulation-based verification plan.