Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Computation of Walsh spectrum from binary decision diagram and binary decision from Walsh spectrum
Computers and Electrical Engineering
Finding the Optimal Variable Ordering for Binary Decision Diagrams
IEEE Transactions on Computers
An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram
IEEE Transactions on Computers
Functional approaches to generating orderings for efficient symbolic representations
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
ACM Computing Surveys (CSUR)
Digital Picture Processing
Spectral Techniques in Digital Logic
Spectral Techniques in Digital Logic
Orthogonal Transforms for Digital Signal Processing
Orthogonal Transforms for Digital Signal Processing
A Characterization of Binary Decision Diagrams
IEEE Transactions on Computers
Efficient Boolean Manipulation with OBDD's Can be Extended to FBDD's
IEEE Transactions on Computers
Finite Orthogonal Series in Design of Digital Devices
Finite Orthogonal Series in Design of Digital Devices
Efficient calculation of spectral coefficients and their applications
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Proceedings of the 12th ACM Great Lakes symposium on VLSI
Minimization of Haar wavelet series and Haar spectral decision diagrams for discrete functions
Computers and Electrical Engineering
| Hi-index | 14.98 |
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.