Complementary formal approaches for dependability analysis - Université Pierre et Marie Curie Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Complementary formal approaches for dependability analysis

Résumé

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.
Fichier non déposé

Dates et versions

hal-00469821 , version 1 (02-04-2010)

Identifiants

Citer

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⟩
134 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More