LEC Formal verification Training
Home > Course
LEC Formal verification Training
- Course Duration: 5 Hours
- 4.6 Star (Rating)
- 100+ (Student Enrolled till Now)
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.
Demo Videos
| Unit Number | Topic | Duration |
| 1 | Difference between static verification and dynamic verification | 3 |
| 2 | Fundamental Concept of LEC | 41 |
| 3 | Need of LEC | 8 |
| 4 | How LEC is done by tools. | 6 |
| 5 | Combinational Equivalence | 7 |
| 6 | Sequential Equivalence | 4 |
| 7 | Transactional equivalence | 5 |
| 8 | Tool flow | 5 |
| 9 | LEC for full adder design (formalpro). | 53 |
| 10 | LEC for gray counter design (formalpro). | 19 |
| 11 | LEC for full adder design using formaility. | 6 |
| 12 | initial tool setup(1) | 6 |
| 13 | analysing detailed comparison report. | 9 |
| 14 | running debugger | 2 |
| 15 | analysing formalpro cache reports and running debugger | 7 |
| 16 | analysing compileDetails.log | 1 |
| 17 | running debugger and analysing the mismatches. | 37 |
| 18 | debugging gray counter’s mismatch points. | 35 |
| 19 | LEC for Dff. | 8 |
| 20 | Giving the paths of the projects and assignments | 1 |
Curriculum
| 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 |
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
Course Instructor
- Dedicated Trainer Accessible On Phone / Email / Whatsapp
- Trainer Exp: 15 Years
Course Highlights
- Mentor Support for doubt clarifications
- Product company focused questions
- 50+ hours of lectures
TESTIMONIALS
What Our Students Says About Inskill
I joined this institute in summer after I was admissioned into IIT MADRAS, some of my seniors done training in this institute so they suggested me. When I was joining this institute my aim was to learn hardware language so that at the time of placements I should have some extra skills to stand out from the crowd and when the placement came I was so clear about my conceepts and the interviewers got impressed..they provided training live and I was able to clear my doubts and it also helped in courses in IIT which was a hectic thing for others.
The best thing about the institute is that the head of the institute teaches us one to one and make everything a cakewalk.
To be honest I didn't have any prior coding experience before
I am placed in Analog Devices Inclusive at very handsome package on Day 1 placements .
Thanks for the support
To start up career in VLSI domain,
Inskill is best Platform with both Offline and Online flexibility.
Trainers and Mentors having wonderful teaching style where they clear the concepts and doubts from basics. Also, got placement support from institute. Study materials provided to us are well structured.
Thank you so much to Trainers , Mentors and Admins who supports me a lot. Once again,
I thank VLSI guru training institute for helping me to start my career in VLSI Domain.
I have attended the online live training from USA on Verification. The Online training along with the assignments and projects not only made me understand the concepts on Verilog, SV, UVM in depth but also helped extremely during my on-site interviews with Apple, Nvidia and Intel and I ended up getting a job at Intel as a Graphics Hardware Engineer currently working on Validation. I am glad that the VLSIGuru is providing the training on entire VLSI design flow at a very reasonable price. Highly recommended for the freshers who are looking to start their career in VLSI design in both front end or back end and for the working professionals who are looking to grow/promote to higher positions. 5 stars without a doubt ! Cheers !
VLSIGURU training institute is one of the best training institute for VLSI domain.
They offer best courses for a very low and affordable prices.
I took e-learning courses, the course content and materials are well planned according to the industry requirements.
Their lectures are very detailed and cover all the concepts.
The projects and assignments they give are helpful in cracking a job.
The admin teams is very supportive all the time. I would definitely recommend to others
FAQ
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Optio, neque qui velit. Magni dolorum quidem ipsam eligendi, totam, facilis laudantium cum accusamus ullam voluptatibus commodi numquam, error, est. Ea, consequatur.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Optio, neque qui velit. Magni dolorum quidem ipsam eligendi, totam, facilis laudantium cum accusamus ullam voluptatibus commodi numquam, error, est. Ea, consequatur.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Optio, neque qui velit. Magni dolorum quidem ipsam eligendi, totam, facilis laudantium cum accusamus ullam voluptatibus commodi numquam, error, est. Ea, consequatur.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Optio, neque qui velit. Magni dolorum quidem ipsam eligendi, totam, facilis laudantium cum accusamus ullam voluptatibus commodi numquam, error, est. Ea, consequatur.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Optio, neque qui velit. Magni dolorum quidem ipsam eligendi, totam, facilis laudantium cum accusamus ullam voluptatibus commodi numquam, error, est. Ea, consequatur.