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

Original webinar date:
15 Nov 2010  
  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

View Webinar »