NPTEL Video Course : Advanced Logic Synthesis

Lecture 34 - Equivalence Checking / Formal Verification