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
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.
94 ms
(Ver 3.3 (11022016))