Complementary Formal Approaches for Dependability Analysis

  title={Complementary Formal Approaches for Dependability Analysis},
  author={Souheib Baarir and C{\'e}cile Braunstein and Renaud Clavel and Emmanuelle Encrenaz-Tiph{\`e}ne and Jean-Michel Ili{\'e} and R{\'e}gis Leveugle and Isabelle Mounier and Laurence Pierre and Denis Poitrenaud},
  journal={2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems},
Evaluating the robustness of digital circuits with respect to soft errors has become an important part of the design flow for many applications. The identification of the most or less critical registers is often necessary, in order to reach the lowest overheads while achieving a given application-level robustness. The goal here is to identify those soft errors actually harmful for the system, not to compute the Soft Error Rate. In this context, we investigate new approaches based on formal… CONTINUE READING