LEC Formal

You are here:
  1. Home
  2. Training Courses
  3. Short Term Courses
  4. LEC Formal

LEC Formal

  • 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

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.

CourseLogical equivalence check formal verification
DurationLive training : 2 weeks
eLearning : 12 hours
Tool access3 weeks
FeeLive training : INR 5000 + GST
eLearning     : INR 4000 + GST
Mode of trainingCourse offered in live training for a minimum of 10 participants or corporate training.
ScheduleLive training: 3 hours per week on Saturday and Sunday
eLearning : Dedicated doubt clarification sessions on weekends
Course Registration
Enroll Now
Course Highlights
  • 1-1 Dedicated Mentor Support
  •  24/7 Tool Access
  • Multiple mock interviews
  • Industry Standard Projects
  • Support with resume update