NPTEL Video Course : NOC:Optimization Techniques for Digital VLSI Design

Lecture 24 - Verification: Bounded Model Checking