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

Lecture 23 - Verification: Symbolic Model Checking