Title :
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
fDate :
8/1/1996 12:00:00 AM
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;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
