NPTEL Video Course : Design Verification and Test of Digital VLSI Circuits


Lecture 19 - Introduction to Model Checking


            


DIGIMAT Learning Management Platform