OBDD-based function decomposition: algorithms and implementation

Y. Lai,Kuo-Rueih Ricky Pan,M. Pedram
DOI: https://doi.org/10.1109/43.511577
1996-08-01
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.
What problem does this paper attempt to address?