The Community for Technology Leaders
Design, Automation & Test in Europe Conference & Exhibition (1999)
Munich, Germany
Mar. 9, 1999 to Mar. 12, 1999
ISSN: 1530-1591
ISBN: 0-7695-0078-1
pp: 758
ABSTRACT
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.
INDEX TERMS
CITATION

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.
doi:10.1109/DATE.1999.761217
94 ms
(Ver 3.3 (11022016))