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

Lecture 25 - Operation on Ordered Binary Decision Diagram