NPTEL Video Course : Advanced Logic Synthesis


Lecture 34 - Equivalence Checking / Formal Verification


        


DIGIMAT Learning Management Platform