Title :
The design of a cache-friendly BDD library
Author_Institution :
Lucent Technol., Bell Labs., Murray Hill, NJ, USA
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;
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
DOI :
10.1109/ICCAD.1998.144336
