Title :
Calculation of arithmetic spectra from free binary decision diagrams
Author :
Falkowski, Bogdan J. ; Chang, Chip-Hong
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
Abstract :
A method to calculate the arithmetic spectrum of a Boolean function from its free binary decision diagram has been introduced. As required by many applications, the method allows the computation of only some chosen arithmetic spectral coefficients and is applicable to both completely and incompletely specified Boolean functions. To further reduce the space complexity, the resulting spectrum is stored in the form of its own decision diagram
Keywords :
Boolean functions; computational complexity; logic CAD; polynomials; Boolean function; arithmetic spectra; completely specified functions; decision diagram; free binary decision diagrams; incompletely specified functions; space complexity; spectral coefficients; Arithmetic; Binary decision diagrams; Boolean functions; Circuit synthesis; Circuit testing; Data structures; Polynomials; Sequential analysis; Sequential circuits; Stochastic processes;
Conference_Titel :
Circuits and Systems, 1997. ISCAS '97., Proceedings of 1997 IEEE International Symposium on
Print_ISBN :
0-7803-3583-X
DOI :
10.1109/ISCAS.1997.621486
