NPTEL Video Course : NOC:VLSI Design Verification and Test


Lecture 32 - Model checking Algorithms


            


DIGIMAT Learning Management Platform