Title :
Efficient algorithms for the calculation of Walsh spectrum from OBDD and synthesis of OBDD from Walsh spectrum for incompletely specified Boolean functions
Author :
Falkowski, Bogdan J. ; Chang, Chip-Hong
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
Abstract :
An algorithm converting ordered binary decision diagram (OBDD) representation of Boolean functions to its Walsh spectrum has been developed. The decomposition of Walsh spectral coefficients in terms of cofactors of Boolean functions resembling Shannon decomposition has been proposed. Based on the above decomposition, a second new algorithm is presented to synthesize ordered binary decision diagram directly from Walsh spectrum of Boolean functions
Keywords :
Boolean functions; Walsh functions; circuit CAD; logic CAD; logic design; OBDD representation; Walsh spectral coefficient decomposition; Walsh spectrum calculation; digital VLSI circuit design; incompletely specified Boolean functions; ordered BDD; ordered binary decision diagram; Boolean functions; Circuit synthesis; Circuit testing; Data structures; Joining processes; Logic design; Sequential analysis; Sequential circuits;
Conference_Titel :
Circuits and Systems, 1994., Proceedings of the 37th Midwest Symposium on
Conference_Location :
Lafayette, LA
Print_ISBN :
0-7803-2428-5
DOI :
10.1109/MWSCAS.1994.519264
