The Community for Technology Leaders
Integrated Circuit Design and System Design, Symposium on (2003)
S?o Paulo, Brazil
Sept. 8, 2003 to Sept. 11, 2003
ISBN: 0-7695-2009-X
pp: 217
Geert Janssen , IBM T.J. Watson Research Center
ABSTRACT
BDD packages have matured to a state where they are often considered a commodity. Does this mean that all (publicly and commercially) available packages are equally good? Does this preclude any new developments? In this paper we will present a consumer report on 13 BDD packages and thereby try to answer these questions. We will argue that there is a substantial spectrum in quality as measured by various metrics and we found that even the better packages do not always deploy the latest technology. We will show how various design decisions underlying the studied packages exhibit themselves at the programming interface level, and we claim that this allows us to predict performance to a certain extent.
INDEX TERMS
null
CITATION
Geert Janssen, "A Consumer Report on BDD Packages", Integrated Circuit Design and System Design, Symposium on, vol. 00, no. , pp. 217, 2003, doi:10.1109/SBCCI.2003.1232832
90 ms
(Ver 3.3 (11022016))