Caching in parallel BDD package
Igor Grudenić, Nikola Bogunović · 2005
Fast computation of Binary Decision Diagram (BDD) operations is essential for efficient symbolic model checking. In order to improve symbolic model checking we parallelized BDD operations on network of workstations (NOW). Sequential BDD packages have always been sensitive to cache design, which is even more true in the parallel environment. Distribution of cache to the NOW made larger cache possible, but it implicated problems with references in distributed environment and posed limitations on ordering of computation. In this paper we address these issues with our distributed cache architecture.