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

Lecture 26 - Ordered Binary Decision Diagram for State Transition Systems