Efficient implementation of a BDD package

DMCA

Efficient implementation of a BDD package (1991)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Karl S. Brace , Richard L. Rudell , Randal E. Bryant

Venue:	In Proceedings of the 27th ACM/IEEE conference on Design autamation
Citations:	502 - 9 self

BibTeX

@INPROCEEDINGS{Brace91efficientimplementation,
    author = {Karl S. Brace and Richard L. Rudell and Randal E. Bryant},
    title = {Efficient implementation of a BDD package},
    booktitle = {In Proceedings of the 27th ACM/IEEE conference on Design autamation},
    year = {1991},
    pages = {40--45},
    publisher = {IEEE/ACM, ACM Press}
}

OpenURL

Abstract

Efficient manipulation of Boolean functions is an important component of many computer-aided design tasks. This paper describes a package for manipulating Boolean functions based on the reduced, ordered, binary decision diagram (ROBDD) representation. The package is based on an efficient implementation of the if-then-else (ITE) operator. A hash table is used to maintain a strong carwnical form in the ROBDD, and memory use is improved by merging the hash table and the ROBDD into a hybrid data structure. A memory funcfion for the recursive ITE algorithm is implemented using a hash-based cache to decrease memory use. Memory function efficiency is improved by using rules that detect. when equivalent functions are computed. The usefulness of the package is enhanced by an automatic and low-cost scheme for rec:ycling memory. Experimental results are given to demonstrate why various implementation trade-offs were made. These results indicate that the package described here is significantly faster and more memory-efficient than other ROBDD implementations described in the literature. 1

Keyphrases

efficient implementation bdd package hash table memory use boolean function ycling memory binary decision diagram efficient manipulation various implementation trade-off recursive ite algorithm strong carwnical form important component memory function efficiency low-cost scheme memory funcfion hybrid data structure hash-based cache experimental result equivalent function many computer-aided design task robdd implementation

DMCA