NPTEL Lecture : 'Ordered Binary Decision Diagram for State Transition Systems'
Ordered Binary Decision Diagram for State Transition Systems
Watch Design Verification and Test of Digital VLSI Circuits ('Computer Science and Engineering' course from IIT Guwahati) Video Lectures
by Dr. Santosh Biswas, Prof. Jatindra Kumar Deka.