TY - GEN A1 - Porwik, Piotr A2 - Korbicz, Józef - red. A2 - Uciński, Dariusz - red. PB - Zielona Góra: Uniwersytet Zielonogórski N2 - The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. N2 - The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This paper presents a non-exhaustive method for Reed-Muller expansions. N2 - The new method allows us to build the Reed-Muller form based on the analysis of Walsh-Hadamard coefficients. The presented method has much less complexity than the procedures which have been applied until now. Both the transforms and the presented Walsh-Hadamard spectral characterization of the Reed-Muller expansion are compared. An analysis of the properties of the spectra obtained from these transforms is made. L1 - http://www.zbc.uz.zgora.pl/Content/58962/AMCS_2002_12_4_12.pdf L2 - http://www.zbc.uz.zgora.pl/Content/58962 KW - Reed-Muller coefficients KW - Walsh coefficients KW - coefficient distribution KW - Boolean function KW - synthesis of Boolean functions T1 - Efficient calculation of the Reed-Muller form by means of the Walsh transform UR - http://www.zbc.uz.zgora.pl/dlibra/docmetadata?id=58962 ER -