will be under system maintenance from Tuesday June 28, 6pm PT to Sunday July 3, 11pm PT. Login and registration will be disabled.
Home > About Cadence > Events > Event Details

Archived Webinar: Combining the Best of Both in an MDV Flow – Simulation and Formal

Original webinar date:
25 Sep 2012  
  View Webinar »  

There exist many benefits to simulation technology within a metric-driven verification (MDV) flow, and an equal number of benefits using formal analysis technology. Now users can combine these metrics to take advantage of the best in each. But combining metrics of different types from completely different types of engines is not trivial without common semantics, methodologies, and technologies to harmonize heterogeneous data into something that is meaningful to a metric-driven functional verification flow.

This webinar will share the operational and technical information on how to combine verification metrics from both simulation and formal analysis, allowing users to substantially save in the overall verification effort. A new metric methodology—“enriched metrics”—managed by Cadence® Incisive® Enterprise Verifier enables the co-operation of engines and, combined with higher level management tools, better visualization and a more refined verification flow.

Questions About this Event?
Send email to

View Webinar »