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 
Instructor Led13.1Scheduled upon demand 8  Hrs700.00Express Interest »
 More Instructor-Led

Course ID:  ES_82121_8.1

Course Description

In this course, you use Encounter® Conformal® Equivalence Checker GXL for custom circuit equivalence checking. You learn to run abstraction of transistor circuits and memory circuits. Then, you set up and verify designs, analyze the results, and debug the abstracted designs against the gate-level design or the RTL.

Learning Objectives

    In this course, you will

      • Abstract transistor-level circuits
      • Run equivalency checks between RTL and the abstracted logic designs
      • Abstract memory circuit designs
      • Create formally verifiable memory RTL
      • Perform equivalency checks between RTL and the abstracted memory circuits

         

        Software

        Encounter® Conformal® Equivalence Checker GXL

         

        Course Agenda

        • Introduction to Encounter Conformal custom equivalence checking
        • Abstraction techniques
        • Comparison of techniques
        • Circuit design verification for standard cell libraries, memory, and domino circuits
        • Custom equivalence checking flow
        • Memory equivalence checking flow

         

        Audience

        • Custom Circuit Designers
        • Engineering Managers
        • Memory Designers
        • Verification Engineers

         

        Prerequisites

        You must have experience with or already have knowledge of the following:

        • CMOS devices
        • Layout design

        And you must have completed the following courses:

        • Logic Equivalence Checking with Encounter Conformal EC

        Or you must have experience with the following software:

        • Encounter Conformal L

         

        Related Courses

        • Advanced Logic Equivalence Checking with Encounter Conformal EC
        • Logic Equivalence Checking with Encounter Conformal EC

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