Title :
Remembrance Of Things Past: Locality And Memory In BDDs
Author :
Manne, Srilatha ; Grunwald, Dirk ; Somenzi, Fabio
Author_Institution :
University of Colorado Dept. of Electrical and Computer Engineering
Keywords :
Analytical models; Binary decision diagrams; Boolean functions; Computational modeling; Contracts; Data structures; Hardware; Packaging; Performance analysis; Permission;
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-7803-4093-0
DOI :
10.1109/DAC.1997.597143
