Paired Haar spectra computation through operations on disjoint cubes

摘要

Paired Haar spectra for systems of incompletely specified Boolean functions are calculated from arrays of disjoint cubes. The method is based mainly on two basic cube operations of shifting and addition that can be efficiently implemented by computer. The method can calculate only a few selected coefficients or all of them in parallel. To further reduce computational requirement only nonvanishing coefficients are stored.