Integrated Circuit Design and System Design, Symposium on (2003)
S?o Paulo, Brazil
Sept. 8, 2003 to Sept. 11, 2003
Geert Janssen , IBM T.J. Watson Research Center
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.
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