Modified Haar transform calculation using digital circuit output probabilities

A method for the computation of Haar spectral coefficients is described using the OBDD representation of a function. An algebraic relationship between the circuit output probabilities and the Haar spectral coefficients is derived and used. The circuit output probabilities are computed by applying graph algorithms to the OBDDs. A fundamental dependence between the spectral coefficients and n+1 simple Boolean equivalence relationships is noted.