Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Jan 11, 2011
Alok Jain -- a Distinguished Engineer at Cadence who directs the company's R&D efforts in formal verification -- discusses formal verification usage trends, benefits, roadblocks, appropriate coverage metrics, and the growing alignment of simulation and formal to speed Silicon Realization. Plus, Alok goes a few steps further and declares things like, "the term 'hybrid' has become obsolete"; and goes on to describe how Formal can drastically simplify the jobs of "Integrators" driving SoC Realization.