Title :
Efficient algorithms for the calculation of arithmetic spectrum from OBDD and synthesis of OBDD from arithmetic spectrum for incompletely specified Boolean functions
Author :
Falkowski, Bogdan J. ; Chang, Chip Hong
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
fDate :
30 May-2 Jun 1994
Abstract :
An algorithm has been developed to calculate the arithmetic transform of Boolean functions from their Ordered Binary Decision Diagram (OBDD) representation. The method of decomposition of arithmetic spectral coefficients in terms of the cofactors of Boolean functions that resembles known Shannon decomposition of such functions has been introduced for the first time. Based on the above decomposition, a second new algorithm is presented to synthesize Ordered Binary Decision Diagrams directly from the arithmetic spectrum of Boolean functions
Keywords :
Boolean functions; diagrams; logic CAD; logic design; Shannon decomposition; arithmetic spectral coefficients; arithmetic spectrum; arithmetic transform; binary decision diagram; cofactors; incompletely specified Boolean functions; ordered BDD; Algorithm design and analysis; Arithmetic; Boolean functions; Data structures; Design engineering; Equations; Joining processes; Process design;
Conference_Titel :
Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on
Conference_Location :
London
Print_ISBN :
0-7803-1915-X
DOI :
10.1109/ISCAS.1994.408789
