DMCA
Multi-threaded reachability (2005)
| Venue: | IN PROCEEDINGS OF THE 42ND CONFERENCE ON DESIGN AUTOMATION |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Sahoo05multi-threadedreachability,
author = {Debashis Sahoo and David L. Dill and et al.},
title = { Multi-threaded reachability},
booktitle = {IN PROCEEDINGS OF THE 42ND CONFERENCE ON DESIGN AUTOMATION},
year = {2005},
pages = {467--470},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective as they suffer from the problem of scheduling the relative order in which the partitions are processed. In this paper we present a novel multi-threaded reachability algorithm that avoids this scheduling problem while increasing the latent parallelism in partitioned state space traversal. We show that in most cases our method is significantly faster than both the standard reachability algorithm as well as the existing partitioned approaches. The gains are further magnified when our threaded implementation is evaluated in the context of a parallel framework.
Keyphrases
multi-threaded reachability standard reachability algorithm partitioned state space traversal parallel framework partitioned approach threaded implementation novel multi-threaded reachability algorithm relative order scheduling problem memory explosion problem latent parallelism bdd-based algorithm bdd-based verification
