NPTEL Lecture : 'Ordered Binary Decision Diagram for State Transition Systems'

Ordered Binary Decision Diagram for State Transition Systems

  • Course: Design Verification and Test of Digital VLSI Circuits
  • Discipline: Computer Science and Engineering
  • Faculty: Dr. Santosh Biswas, Prof. Jatindra Kumar Deka
  • Institute: IIT Guwahati