DEDICATED SPECTRAL METHOD OF BOOLEAN FUNCTION DECOMPOSITION

Spectral methods constitute a useful tool in the analysis and synthesis of Boolean functions, especially in cases when other methods reduce to brute-force search procedures. There is renewed interest in the application of spectral methods in this area, which extends also to the closely connected concept of the autocorrelation function, for which spectral methods provide fast calculation algorithms. This paper discusses the problem of spectral decomposition of Boolean functions using the Walsh transform and autocorrelation characteristics.

[1]  Neil J. A. Sloane,et al.  The theory of error-correcting codes (north-holland , 1977 .

[2]  G. Rota.  Finite orthogonal series in the design of digital devices: M. G. Karpovsky, Wiley, 1976, 250 pp. , 1977 .

[3]  Bernd Steinbach,et al.  An algorithm for bi-decomposition of logic functions , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[4]  Leonid Yaroslavsky,et al.  Digital Holography and Digital Image Processing , 2004, Springer US.

[5]  Svetlana Yanushkevich,et al.  Logic differential calculus in multi-valued logic design , 1998 .

[6]  Radomir S. Stankovic,et al.  Spectral Transforms Calculation through Decision Diagrams , 2002, VLSI Design.

[7]  Stanley L. Hurst,et al.  Spectral techniques in digital logic , 1985 .

[8]  Bogdan J. Falkowski,et al.  Analysis of disjoint decomposition of balanced Boolean functions through the Walsh spectrum , 2001 .

[9]  Piotr Porwik,et al.  Efficient spectral method of identification of linear Boolean function , 2004 .

[10]  Sarma B. K. Vrudhula,et al.  BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis , 1993, 30th ACM/IEEE Design Automation Conference.

[11]  P. Porwik.  WALSH COEFFICIENTS DISTRIBUTION FOR SOME TYPES OF BOOLEAN FUNCTION , 2005 .

[12]  Radomir S. Stanković,et al.  Spectral Interpretation of Decision Diagrams , 2003, Springer New York.

[13]  Valeria Bertacco,et al.  The disjunctive decomposition of logic functions , 1997, ICCAD 1997.

[14]  P. Porwik.  THE SPECTRAL TEST OF THE BOOLEAN FUNCTION LINEARITY , 2003 .

[15]  K. R. Rao,et al.  Orthogonal Transforms for Digital Signal Processing , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[16]  H. A. Curtis,et al.  A new approach to The design of switching circuits , 1962 .

[17]  Tsutomu Sasao,et al.  On bi-decomposition of logic functions , 1997 .

[18]  Sze-Tsen Hu.  ON THE DECOMPOSITION OF SWITCHING FUNCTIONS , 1961 .

[19]  Munehiro Matsuura,et al.  A method to decompose multiple-output logic functions , 2004, Proceedings. 41st Design Automation Conference, 2004..

[21]  Radomir S. Stankovic,et al.  Reduction of Sizes of Decision Diagrams by Autocorrelation Functions , 2003, IEEE Trans. Computers.

[22]  Elena Dubrova,et al.  AOXMIN-MV: A Heuristic Algorithm for AND-OR-XOR Minimization , 1999 .