A Basis for Formal Robustness Checking

  title={A Basis for Formal Robustness Checking},
  author={G{\"o}rschwin Fey and Rolf Drechsler},
  journal={9th International Symposium on Quality Electronic Design (isqed 2008)},
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are not available yet. In this paper a formal measure for the robustness of a circuit is introduced. Then, a first algorithm to determine the robustness is presented. This is done by reducing the problem either to sequential equivalence checking or to a sequence of property checking instances. The technique also identifies… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS


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


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

Similar Papers

Loading similar papers…