A Consumer Report on BDD Packages

Authors:
Geert Janssen
Affiliations:
-
Venue:
SBCCI '03 Proceedings of the 16th symposium on Integrated circuits and systems design
Year:
2003

Citing 0
Cited 4

Efficient Relational Calculation for Software Analysis

IEEE Transactions on Software Engineering
ProgME: towards programmable network measurement

Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
ProgME: towards programmable network measurement

IEEE/ACM Transactions on Networking (TON)
CacBDD: a BDD package with dynamic cache management

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

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.