Generation of quasi-optimal FBDDs through paired Haar spectra

A polynomial Haar expansion for unnormalized Haar transform of incompletely specified Boolean function has been derived. Based on the Haar expansion, the entropy and equivocation in probability theory have been formulated in terms of some subsets of coefficients from the recently introduced paired Haar spectrum. A unified and systematic method founded on the concept of entropy has been developed to exploit the don´t care sets of incompletely specified Boolean functions for the heuristic minimization of Free Binary Decision Diagrams. The approach is general and can be extended to other combinatorial decision problems