Custom Equivalence Checking with Conformal EC

Length : 1 day

Course Description

In this course, you use 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

After completing this course, you will be able to:

• 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 Used in This Course

• Conformal Equivalence Checker GXL

Software Release(s)

CONFRML181

Modules in this Course

• Basic Flow
• Abstraction Options
• Circuit Design Verification
• Memory Circuit Verification Flow
• Structure Accuracy Modeling: Test View

Audience

• Custom Circuit Designers
• Memory Designers
• Verification Engineers

Prerequisites

You must have experience with or knowledge of the following:

• CMOS devices
• Layout design

Related Courses

Please see course learning maps at this link for a visual representation of courses and course relationships. Regional course catalogs may be viewed here.