The Community for Technology Leaders
Green Image
<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>
Logic synthesis, spectral techniques, decision diagrams, linear transforms, autocorrelation functions.
Jaakko T. Astola, Radomir S. Stankovc, Mark G. Karpovsky, "Reduction of Sizes of Decision Diagrams by Autocorrelation Functions", IEEE Transactions on Computers, vol. 52, no. , pp. 592-606, May 2003, doi:10.1109/TC.2003.1197126
104 ms
(Ver 3.3 (11022016))