NPTEL Video Course : Advanced VLSI Design

Lecture 42 - VLSI Design Verification: Model Checking