Modern digital circuits are, with each technological evolution, increasingly affected by Single Event Upsets (SEUs). In this paper we propose a static analysis approach for the estimation of the SEU sensitivity of the system under design by identifying untestable faults. The approach relies on a formal specification language to model circuits at the gate-level and on the Linear Temporal Logic (LTL) to express untestability properties that are then evaluated using a model-checking tool. The proposed approach can be applied early during the design process, since it can be individually applied to sub-systems as soon as they are designed, before the whole system is implemented and since it does not require a specific workload to be defined. The approach has been implemented and applied to a set of circuits from the ITC99 benchmark and has been validated against fault injection experiments. © 2014 IEEE.

Early assessment of SEU sensitivity through untestable fault identification

Cassano, Luca;
2014

Abstract

Modern digital circuits are, with each technological evolution, increasingly affected by Single Event Upsets (SEUs). In this paper we propose a static analysis approach for the estimation of the SEU sensitivity of the system under design by identifying untestable faults. The approach relies on a formal specification language to model circuits at the gate-level and on the Linear Temporal Logic (LTL) to express untestability properties that are then evaluated using a model-checking tool. The proposed approach can be applied early during the design process, since it can be individually applied to sub-systems as soon as they are designed, before the whole system is implemented and since it does not require a specific workload to be defined. The approach has been implemented and applied to a set of circuits from the ITC99 benchmark and has been validated against fault injection experiments. © 2014 IEEE.
Proceedings of the 2014 IEEE 20th International On-Line Testing Symposium, IOLTS 2014
9781479953233
File in questo prodotto:
File Dimensione Formato  
iolts14.pdf

Accesso riservato

: Publisher’s version
Dimensione 139.53 kB
Formato Adobe PDF
139.53 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1043206
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact