DocumentCode
298356
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
Volume
1
fYear
1994
fDate
3-5 Aug 1994
Firstpage
393
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1994., Proceedings of the 37th Midwest Symposium on
Conference_Location
Lafayette, LA
Print_ISBN
0-7803-2428-5
Type
conf
DOI
10.1109/MWSCAS.1994.519264
Filename
519264
Link To Document