NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 33 - Model checking Algorithms (Continued...)