NPTEL Video Course : NOC:Optimization Techniques for Digital VLSI Design


Lecture 24 - Verification: Bounded Model Checking


        


DIGIMAT Learning Management Platform