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


Lecture 23 - Verification: Symbolic Model Checking


            


DIGIMAT Learning Management Platform