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.
Rolf Drechsler, Andrea Jahnke, Bernd Becker, "On Variable Ordering and Decomposition Type Choice in OKFDDs", IEEE Transactions on Computers, vol. 47, no. , pp. 1398-1403, December 1998, doi:10.1109/12.737685
98 ms
(Ver 3.3 (11022016))