Approximate Reachability with BDDs Using Overlapping Projections

  title={Approximate Reachability with BDDs Using Overlapping Projections},
  author={Shankar G. Govindaraju and David L. Dill and Alan J. Hu and Mark Horowitz},
Approximate reachability tec hniques trade off accuracy with the capacity to deal with bigger designs. Cho et al [3] proposed approximate FSM traversal algorithms over a partition of the set of state bits. In this paper w egeneralize it by allowing projectionson to a collection of nondisjoint subsets of the state variables. We establish the adv an tageof ha ving overlapping projections and present a new multiple constr ainfunction for BDDs, to compute efficiently the approximate image during… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS
40 Citations
2 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 40 extracted citations

61 Citations

Citations per Year
Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…