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 - New Techniques for Debugging NonEQs and Aborts in Equivalence Checking

 
Type:
Webinar  
Orignal webinar date:
15 Nov 2010  
Location:
Online  
  View Webinar »  

Logic equivalence checking has been a standard in the digital implementation flow for more than 10 years, and has helped countless design teams in verifying implementation, optimization, and ECOs on thousands of tapeouts. With the ever-increasing complexity and variety of design transformations and optimizations, it is increasingly difficult to set up equivalence checking properly and more challenging for equivalence checking tools to verify datapath-intensive logic cones. This webinar will provide basic background knowledge on what equivalence checking is, how it works, and what causes false non-equivalence and aborts. We will then cover new techniques for debugging non-equivalence issues and preventing aborts in equivalence checking through coding style changes, implementation flows, and verification tool setup tips.


Questions About this Event?
Send email to webinar_info@cadence.com

View Webinar »