DocumentCode
2523152
Title
The design of a cache-friendly BDD library
Author
Long, D.E.
Author_Institution
Lucent Technol., Bell Labs., Murray Hill, NJ, USA
fYear
1998
fDate
8-12 Nov. 1998
Firstpage
639
Lastpage
645
Abstract
We describe the architecture for a new BDD library that is designed to be cache-friendly. The library incorporates a novel technique for terminating searches early during find operations together with a regrouping garbage collector. These features lead to a factor of two improvement in speed on typical examples compared to existing libraries.
Keywords
binary decision diagrams; cache storage; circuit CAD; storage management; BDD library architecture; cache-friendly BDD library design; find operations; regrouping garbage collector; search termination; Art; Benchmark testing; Binary decision diagrams; Circuit testing; Libraries; Packaging; Permission; State-space methods; Table lookup;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Design, 1998. ICCAD 98. Digest of Technical Papers. 1998 IEEE/ACM International Conference on
Conference_Location
San Jose, CA, USA
Print_ISBN
1-58113-008-2
Type
conf
DOI
10.1109/ICCAD.1998.144336
Filename
743086
Link To Document