NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 36 - Ordered Binary Decision Diagram (OBDD)