The design of a cache-friendly BDD library
David E. Long · 1998
We describe the architecture for a new BDD library that is designed to be cache-friendly. The library in-corporates a novel technique for terminating searches early during nd operations together with a regroup-ing garbage collector. These features lead to a fac-tor of two improvement in speed on typical examples compared to existing libraries. 1