OBDD-BASED FUNCTION DECOMPOSITION - ALGORITHMS AND IMPLEMENTATION

Authors
LAI YT PAN KRR PEDRAM M
Citation
Yt. Lai et al., OBDD-BASED FUNCTION DECOMPOSITION - ALGORITHMS AND IMPLEMENTATION, IEEE transactions on computer-aided design of integrated circuits and systems, 15(8), 1996, pp. 977-990
Citations number
23
Categorie Soggetti
Computer Application, Chemistry & Engineering","Computer Science Hardware & Architecture
Journal title
IEEE transactions on computer-aided design of integrated circuits and systems → ACNP
ISSN journal
02780070
Volume
15
Issue
8
Year of publication
1996
Pages
977 - 990
Database
ISI
SICI code
0278-0070(1996)15:8<977:OFD-AA>2.0.ZU;2-2
Abstract
This paper presents algorithms for disjunctive and nondisjunctive deco mposition of Boolean functions and Boolean methods for identifying com mon subfunctions from multiple Boolean functions. Ordered binary decis ion diagrams are used to represent and manipulate Boolean functions so that the proposed methods can be implemented concisely. These techniq ues are applied to the synthesis of look-up table based field programm able gate arrays and results are presented.