NPTEL Video Course : Advanced Logic Synthesis


Lecture 34 - Equivalence Checking / Formal Verification

1x
Search within video (e.g: "amplifier", "rectifier" or "oscilloscope")

                       

Speech Recogniser Status: Not Recognising


    /
        


    DIGIMAT Learning Management Platform