Formal Verification

• Concept of Logical Equivalence Check (LEC)
• Setup of Reference and Implementation Designs
• RTL vs RTL , RTL vs Gate , Gate vs Gate LEC
• Mapping and compare of designs
• Black Box Method
• Constraining the LEC script
• Debugging the failure
• Hands-on project using Formal Verification tool for analyzing and fixing FM failures
• Resume preparation
• Interview questions and answers