NPTEL Video Course : Advanced VLSI Design

Lecture 41 - VLSI Design Verification: Equivalence/Model Checking