Home > About Cadence > Events > Event Details

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Company Location *

Comments: *

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

 
Type:
Webinar  
Orignal webinar date:
25 Sep 2012  
Location:
Online  
  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 webinar_info@cadence.com

View Webinar »