NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 38 - OBDD for State Transition Systems E