Module 4:Binary Decision Diagram
Lecture 4 :Ordered Binary Decision Diagram for Sequential Circuits
Figure 9. An STG
