Binary Decision Diagrams Used in the Synthesis Simulation

• 二叉决策图在逻辑综合中的应用