Static property checking using ATPG vs. BDD techniques

  title={Static property checking using ATPG vs. BDD techniques},
  author={Chung-Yang Huang and Bwolen Yang and Huan-Chih Tsai and Kwang-Ting Cheng},
Static property checking is a technique for verifying some pre-defined design rules such as "bus contention", "racing condition", and "don't-care case". It contains formal verification engines so that a property can be completely verified and if the property is proven false, a counterexample will be generated for debugging the design. Among the different static property checking approaches, ATPG-based and BDD-based are the most powerful and successful ones. We implement both engines with… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 18 references

Symbolic Model Checking: An Approach to the State Explosion Problem

  • K. L. McMillan
  • Kluwer Academic Publishers,
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…