Efficient representations of logic functions are very important in logic design. Various methods exist to represent logic functions. Among them, graph-based representations such as binary decision diagrams (BDDs) are extensively used in logic synthesis, test and verification.~(1,3) In logic simulation, the BDD-based methods offer orders-of-magnitude potential speedup over traditional logic simulation methods.~(2,3,4)
展开▼