Skip to Main content Skip to Navigation
Conference papers

Complementary formal approaches for dependability analysis

Abstract : 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 techniques to improve design-time robustness evaluations at least for the most critical blocks in a circuit. Preliminary results are shown, focusing on the evaluation of self-healing (or self-repairing) capabilities.
Complete list of metadatas
Contributor : Lucie Torella <>
Submitted on : Friday, April 2, 2010 - 3:54:15 PM
Last modification on : Thursday, July 9, 2020 - 9:43:19 AM



Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, et al.. Complementary formal approaches for dependability analysis. The 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Oct 2009, Chicago, Illinois, United States. pp.331-339, ⟨10.1109/DFT.2009.21⟩. ⟨hal-00469821⟩



Record views