DocumentCode
3254179
Title
On disjoint covers and ROBDD size
Author
Dubrova, E.V. ; Miller, D.M.
Author_Institution
Dept. of Electron., R. Inst. of Technol., Stockholm, Sweden
fYear
1999
fDate
1999
Firstpage
162
Lastpage
164
Abstract
The relation between the number of nodes in a ROBDD and the number of implicants in the disjoint cover of the function represented by that ROBDD is studied. We identify a class of functions for which there are disjoint covers such that a cover of a larger size can be represented by a ROBDD with a smaller number of nodes. This shows that the size of a ROBDD is not a monotonically increasing function of the size of the disjoint cover
Keywords
binary decision diagrams; ROBDD; class of functions; disjoint covers; Adders; Boolean functions; Circuits; Computer science; Data structures; Electronic equipment testing; Input variables; Polynomials; System testing; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, Computers and Signal Processing, 1999 IEEE Pacific Rim Conference on
Conference_Location
Victoria, BC
Print_ISBN
0-7803-5582-2
Type
conf
DOI
10.1109/PACRIM.1999.799502
Filename
799502
Link To Document