Title :
Calculation of the Rademacher-Walsh spectrum from a reduced representation of Boolean functions
Author :
Falkowski, Bogdan J. ; Schafer, Iwan ; Perkowski, Marek A.
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
Abstract :
A theory has been developed to calculate the Rademacher-Walsh transform from a reduced representation (disjoint cubes) of incompletely specified Boolean functions. The transform algorithm makes use of the properties of an array of disjoint cubes and allows the determination of the spectral coefficients in an independent way. The program for the algorithms uses advantages of C language to speed up the execution. The comparison of different versions of the algorithm has been carried out. The algorithm successfully overcomes all drawbacks in the calculation of the transform from the design automation system based on spectral methods
Keywords :
Boolean functions; C language; Walsh functions; logic CAD; Boolean functions; C language; Rademacher-Walsh spectrum; design automation system; disjoint cubes; reduced representation; spectral coefficients; transform algorithm; Boolean functions; Circuit synthesis; Circuit testing; Design automation; Input variables; Logic arrays; Logic design; Logic devices; Logic testing; Network synthesis;
Conference_Titel :
Design Automation Conference, 1992., EURO-VHDL '92, EURO-DAC '92. European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-2780-8
DOI :
10.1109/EURDAC.1992.246245
