A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

HeymanTamir,GeistDanny,GrumbergOrna,SchusterAssaf

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

2002

HeymanTamir
GeistDanny
GrumbergOrna
SchusterAssaf

This paper presents a scalable method for parallelizing symbolic reachability analysis on a distributed-memory environment of workstations. We have developed an adaptive partitioning algorithm that...

Keywords:

Distributed computing
Scalability
Computer science
Electronic circuit
Reachability
Parallel computing
Model checking
Parallel algorithm
Workstation

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations