engleski

Caching in Parallel BDD Package

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.

Distributed BDD computation; cache management; formal methods

nije evidentirano