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

Volume

1

fYear

1994

fDate

30 May-2 Jun 1994

Firstpage

197

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on

Conference_Location

London

Print_ISBN

0-7803-1915-X

Type

conf

DOI

10.1109/ISCAS.1994.408789

Filename

408789