DocumentCode
3584541
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
Volume
3
fYear
1997
Firstpage
1764
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1997. ISCAS '97., Proceedings of 1997 IEEE International Symposium on
Print_ISBN
0-7803-3583-X
Type
conf
DOI
10.1109/ISCAS.1997.621486
Filename
621486
Link To Document