Home > Training > NA > NA Training Course Detail

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: *

NA Training Course Detail 

Back to course catalog

Delivery MethodVersionDatesLocationsLengthCost 
Online14.1Available 24 hours, 7 days a week.Online  1050.00Register »
 More Online
Instructor Led14.1Scheduled upon demand 16  Hrs1400.00Express Interest »
 More Instructor-Led
Instructor Led12.1Scheduled upon demand 16  Hrs1400.00Express Interest »
Instructor Led11.1Scheduled upon demand 16  Hrs1400.00Express Interest »
Virtual Instructor12.1Scheduled upon demand 16  Hrs1400.00Express Interest »
 More Virtual offerings

Course ID:  ES_82123_14.1

Course Description

In this class you learn to use the Encounter® Conformal Equivalence Checker to perform functional verification. You learn the basic flow of equivalence checking and also learn to run hierarchical comparison of designs. The lab exercises follow major topics and are designed to be directly applicable in design and design verification. Upon completion of this course, you will be able to set up and verify your designs, analyze the results, and debug failing results.

Learning Objectives

After completing this course, you will be able to:

  • Use Encounter Conformal logic equivalence checking for flat and hierarchical design comparison
  • Read libraries and designs
  • Apply design constraints and modeling directives
  • Apply the mapping process and debug unmapped key points
  • Apply the compare process and debug non-equivalent points
  • Run and debug a hierarchical design comparison
  • Run the debugging of the setup of a design
  • Run the debugging of the mapping of a design
  • Analyze and fix the nonequivalences of a design
  • Analyze and fix the aborts in a design

Software Used in This Course

  • Encounter Conformal XL

Software Release(s)

  • CONFRML141

Course Agenda

Note that this course can be tailored to better meet your needscontact the Cadence training staff for specifics.

Day 1

  • Introduction to the Encounter Conformal product family
  • Introduction to logic equivalence checking
  • LEC flow - Setup mode
  • LEC flow - LEC mode

Day 2

  • Hierarchical comparison of designs
  • Debugging Setup Issues
  • Debugging Mapping Issues
  • Debugging Nonequivalences
  • Debugging Aborts

Audience

  • ASIC Designers
  • Logic Designers
  • Verification Engineers

Prerequisites

You must have experience with or knowledge of:

  • HDL
  • Logic Design

Related Courses

Click here to view course learning maps, and here for complete course catalogs.