The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—We present methods for the construction of small Ordered Kronecker Functional Decision Diagrams (OKFDDs). OKFDDs are a generalization of Ordered Binary Decision Diagrams (OBDDs) and Ordered Functional Decision Diagrams (OFDDs) as well. Starting with an upper bound for the size of an OKFDD representing a tree-like circuit, we develop different heuristics to find good variable orderings and decomposition types for OKFDDs representing two-level and multilevel circuits, respectively. Experimental results are presented to show the efficiency of our approaches.</p>
Decision diagrams, OKFDDs, variable ordering, tree-like circuits.

R. Drechsler, A. Jahnke and B. Becker, "On Variable Ordering and Decomposition Type Choice in OKFDDs," in IEEE Transactions on Computers, vol. 47, no. , pp. 1398-1403, 1998.
95 ms
(Ver 3.3 (11022016))