NPTEL Video Course : NOC:VLSI Design Verification and Test


Lecture 31 - Introduction to Model Checking


            


DIGIMAT Digital Learning Platform