NPTEL Video Course : NOC:Embedded Systems-Design Verification and Test


Lecture 24 - Use of OBDDs for State Transition System


            


DIGIMAT Learning Management Platform