The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2003 vol.52)
pp: 592-606
ABSTRACT
<p><b>Abstract</b>—This paper discusses optimization of decisions diagrams (DDs) by total autocorrelation functions. We present an efficient algorithm for construction of Linearly Transformed Binary Decision Diagrams (LT-BDDs) and Linearly transformed multiterminal BDDs (LT-MTBDDs) for systems of Boolean functions, based on linearization of these functions by the corresponding autocorrelation functions. Then, we present a method for reduction of sizes of DDs by a level-by-level reduction of the width of DDs using the total autocorrelation functions. The approach provides for a simple procedure for minimization of LT-BDDs and LT-MTBDDs and upper bounds on their sizes. Experimental results for benchmarks illustrate that the proposed method on average is very efficient.</p>
INDEX TERMS
Logic synthesis, spectral techniques, decision diagrams, linear transforms, autocorrelation functions.
CITATION
Mark G. Karpovsky, Radomir S. Stankovc, Jaakko T. Astola, "Reduction of Sizes of Decision Diagrams by Autocorrelation Functions", IEEE Transactions on Computers, vol.52, no. 5, pp. 592-606, May 2003, doi:10.1109/TC.2003.1197126
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool