NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 32 - Model checking Algorithms