VLSI Training
LEC Formal verification Training
Formal verification is focused on multiple aspects including formal property verification, logic equivalance checks, connectivity checks, coverage checks etc.
- 5 HoursCourse Duration
- 20 SessionsRecorded & Live
- 4.6/5Learner Rating
- 100+Enrolled Learners
Course Overview
About Course
Formal verification is focused on multiple aspects including formal property verification, logic equivalance checks, connectivity checks, coverage checks etc. Formal LEC training is focused on both combinational and sequential equivalance checks.
Course also includes a hands on project with explanation on entire project flow, Formality & FormalPro tool overview, inputs files, black box files, constraint files, and failure debug.
Detailed Syllabus
3 modules- What is formal verification?
- Different types of formal verification
- Formal LEC overview
- Combinational equivalance
- Sequential equivalance
- Transition equivalance
- Logic equivalance checks - Setup mode, Mapping mode, Compare mode
- FormalPro and Formality tool overview
- Input files
- Black box files
- Constraint files
- Hands on project
- Debugging failures
Session-wise Content
20 sessions · 4h 23m- 1Difference between static verification and dynamic verification3m
- 2Fundamental Concept of LEC41m
- 3Need of LEC8m
- 4How LEC is done by tools.6m
- 5Combinational Equivalence7m
- 6Sequential Equivalence4m
- 7Transactional equivalence5m
- 8Tool flow5m
- 9LEC for full adder design (formalpro).53m
- 10LEC for gray counter design (formalpro).19m
- 11LEC for full adder design using formaility.6m
- 12initial tool setup(1)6m
- 13analysing detailed comparison report.9m
- 14running debugger2m
- 15analysing formalpro cache reports and running debugger7m
- 16analysing compileDetails.log1m
- 17running debugger and analysing the mismatches.37m
- 18debugging gray counter’s mismatch points.35m
- 19LEC for Dff.8m
- 20Giving the paths of the projects and assignments1m
Your Instructor
S
Sreenivas Reddy
Founder, VLSIGuru
Benefits of eLearning?
- Access to the Instructor - Ask questions to the Instructor who taught the course
- Available 24/7 - VLSIGuru eLearning courses are available when and where you need them
- Learn at Your Pace - VLSIGuru eLearning courses are self-paced, so you can proceed when you're ready
What Our Students Say
Frequently Asked Questions
- Course presentations for all topics
- Session notes
- Lab documents with detailed steps
- User guides