The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1997 vol.46)
pp: 1272-1279
ABSTRACT
<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>
INDEX TERMS
Boolean functions, Haar spectrum, Haar transform, ordered binary decision diagram, Shannon decomposition, spectral techniques.
CITATION
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
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool