Back to Search
Start Over
A New Reachability Algorithm for Symmetric Multi-processor Architecture
- Source :
- Automated Technology for Verification and Analysis ISBN: 9783540292098, ATVA
- Publication Year :
- 2005
- Publisher :
- Springer Berlin Heidelberg, 2005.
-
Abstract
- Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. A naive parallelization of such algorithms is often ineffective as they have less parallelism. In this paper we present a novel parallel reachability approach that lead to a significantly faster verification on a Symmetric Multi-Processing architecture over the existing one-thread, one-CPU approaches. We identify the issues and bottlenecks in parallelizing BDD-based reachability algorithm. We show that in most cases our algorithm achieves good speedup compared to the existing sequential approaches.
Details
- ISBN :
- 978-3-540-29209-8
- ISBNs :
- 9783540292098
- Database :
- OpenAIRE
- Journal :
- Automated Technology for Verification and Analysis ISBN: 9783540292098, ATVA
- Accession number :
- edsair.doi...........2b735bd718b1045154d5d36b8f780a66