Efficient Implementation of a BDD Package.

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

Published in: DAC (1990)

Keyphrases

efficient implementation
boolean functions
binary decision diagrams
software package
hardware implementation
active set
efficient processing
highly parallel