Calculation of arithmetic spectra from free binary decision diagrams

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.