Syllabus
Course Overview
Schedule
Demo
Certificate
Syllabus
- LEC basics
- Need for LEC?
- Logic Equivalence checks
- Combinational Equivalence
- Sequential Equivalence
- Transaction Equivalence
- Logic Equivalence checks
- Setup mode
- Mapping mode
- Compare mode
- Formal verification
- FormalPro tool overview
- Formality tool overview
- Input files
- Black box files
- Constraint files
- Debugging the failures
- Hands on project
- Hands on project with RTL to RTL and RTL to netlist compare checks
Course Overview
LEC formal verification is a 12 hours course covering all the aspects of LEC including Combinational Equivalence, Sequential Equivalence, and Transaction Equivalence,
Course includes hands on project where participants understand different steps involved in LEC project setup including setup mode, mapping mode and compare mode.
Project is done using Synopsys Formality and Mentor FormalPro tools. Project also includes understanding of Input files, black box files, and constraint files.
Course also includes covers detailed flow in debugging of failures with hands on project.
Schedule
| Course | Logical equivalence check formal verification |
|---|---|
| Duration | Live training : 2 weeks eLearning : 12 hours |
| Tool access | 3 weeks |
| Fee | Live training : INR 5000 + GST eLearning : INR 4000 + GST |
| Mode of training | Course offered in live training for a minimum of 10 participants or corporate training. |
| Schedule | Live training: 3 hours per week on Saturday and Sunday eLearning : Dedicated doubt clarification sessions on weekends |
Demo
Certificate
Play Video
- 1-1 Dedicated Mentor Support
- 24/7 Tool Access
- mock interview
- Industry Standard Projects
- Support with resume update