OBDD-based function decomposition: algorithms and implementation

Author

Lai, Mung-Te ; Pan, Kuo-Rueih Ricky ; Pedram, Massoud

Author_Institution

Dept. of Electr. Eng. Syst., Univ. of Southern California, Los Angeles, CA, USA

Volume

15

Issue

8

fYear

1996

fDate

8/1/1996 12:00:00 AM

Firstpage

977

Lastpage

990

Abstract

This paper presents algorithms for disjunctive and nondisjunctive decomposition of Boolean functions and Boolean methods for identifying common subfunctions from multiple Boolean functions. Ordered binary decision diagrams are used to represent and manipulate Boolean functions so that the proposed methods can be implemented concisely. These techniques are applied to the synthesis of look-up table based field programmable gate arrays and results are presented

Keywords

Boolean functions; field programmable gate arrays; logic CAD; minimisation of switching nets; multivalued logic circuits; table lookup; Boolean methods; OBDD-based function decomposition; common subfunctions; disjunctive decomposition; look-up table based field programmable gate arrays; multiple Boolean functions; nondisjunctive decomposition; ordered binary decision diagrams; Boolean functions; Data structures; Encoding; Field programmable gate arrays; Input variables; Kernel; Logic functions; Packaging; Partitioning algorithms; Table lookup;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/43.511577

Filename

511577