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

Lecture 23 - Binary Decision Diagram: Introduction and construction