FV

VLSI Verification and Testing: Formal Verification

• Introduction to Formal Verification
• Why Formal Verification?
• Concept of Formal Verification
• Methodologies in Formal Verification
• Binary Decision Diagram (BDD)
• Equivalence Checking (EC)
• Model Checking
• Theorem proving
• Satisfiability (SAT) Solvers
• Recent Advances in SAT Based Formal Verification
• Hybrid Formal Verification Techniques
• Formal Verification Example