Forward and Inverse Transformations Between Haar Spectra and Ordered Binary Decision Diagrams of Boolean Functions
Issue No.11 - November (1997 vol.46)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.644301
<p><b>Abstract</b>—Unnormalized Haar spectra and Ordered Binary Decision Diagrams (OBDDs) are two standard representations of Boolean functions used in logic design. In this article, mutual relationships between those two representations have been derived. The method of calculating the Haar spectrum from OBDD has been presented. The decomposition of the Haar spectrum, in terms of the cofactors of Boolean functions, has been introduced. Based on the above decomposition, another method to synthesize OBDD directly from the Haar spectrum has been presented.</p>
Boolean functions, Haar spectrum, Haar transform, ordered binary decision diagram, Shannon decomposition, spectral techniques.
Bogdan J. Falkowski, Chip-Hong Chang, "Forward and Inverse Transformations Between Haar Spectra and Ordered Binary Decision Diagrams of Boolean Functions", IEEE Transactions on Computers, vol.46, no. 11, pp. 1272-1279, November 1997, doi:10.1109/12.644301