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.
