By Topic

Efficient algorithms for the calculation of Walsh spectrum from OBDD and synthesis of OBDD from Walsh spectrum for incompletely specified Boolean functions

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
B. J. Falkowski ; Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore ; Chip-Hong Chang

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

Published in:

Circuits and Systems, 1994., Proceedings of the 37th Midwest Symposium on  (Volume:1 )

Date of Conference:

3-5 Aug 1994