- Home
- :
- Training
- :
- All Courses
- :
- Custom Equivalence Checking with Conformal EC
Custom Equivalence Checking with Conformal EC
Version | Region | |
---|---|---|
18.1 | North America | ENROLL |
Other Regions | EXPRESS INTERESTINQUIRE |
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.
INSTRUCTIONAL VIDEOS
Training Bytes
Log into Cadence Online Support to watch our short videos to explore an element of a language, make sense of a methodology, or learn how to do a task
SELF PACED ONLINE TRAINING
Online Training Subscription
Multiple online courses of one or more technology groups, for 12 months unlimited, per student