High Performance BDD Package By Exploiting Memory Hiercharchy.

Jagesh V. Sanghavi Rajeev K. Ranjan Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: DAC (1996)

Keyphrases

memory requirements
compute intensive
limited memory
boolean functions
data sets
search algorithm
main memory
random access
memory space
memory size
case study
case based reasoning
open source
cost effective
artificial intelligence
neural network
memory usage
high reliability
small sized
real time