Design, Automation & Test in Europe Conference & Exhibition (1999)
Mar. 9, 1999 to Mar. 12, 1999
The Shared Binary Decision Diagram (SBDD) with negative edge attributes can represent many functions in a compact form if a proper variable ordering is used. In this work we describe a technique for reordering the variables in an SBDD to reduce the size of the data structure. We use a heuristic to formulate a technique for the reordering problem based on probability metrics.
M. Thornton, N. Drechsler, J. Williams and R. Drechsler, "Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities," Design, Automation & Test in Europe Conference & Exhibition(DATE), Munich, Germany, 1999, pp. 758.