A consumer report on BDD packages

Author

Janssen, Geert

Author_Institution

IBM T. J. Watson Res. Center, Yorktown Heights, NY, USA

fYear

2003

fDate

8-11 Sept. 2003

Firstpage

217

Lastpage

222

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 present a consumer report on 13 BDD packages and thereby try to answer these questions. We 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 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.

Keywords

application program interfaces; binary decision diagrams; software packages; software performance evaluation; software quality; BDD package consumer report; binary decision diagrams; package performance; programming interface; software package quality; Binary decision diagrams; Data structures; Integrated circuit packaging; Law; Legal factors; Licenses; Operating systems; Packaging machines; Runtime; Software packages;

fLanguage

English

Publisher

ieee

Conference_Titel

Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings. 16th Symposium on

Print_ISBN

0-7695-2009-X

Type

conf

DOI

10.1109/SBCCI.2003.1232832

Filename

1232832