On the Susceptibility of QDI Circuits to Transient Faults - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

On the Susceptibility of QDI Circuits to Transient Faults

Résumé

By design, quasi delay-insensitive (QDI) circuits exhibit higher resilience against timing variations as compared to their synchronous counterparts. Since computation in QDI circuits is event-based rather than clock-triggered, spurious events due to transient faults such as radiation-induced glitches, a priori are of higher concern in QDI circuits. In this work we propose a formal framework with the goal to gain a deeper understanding on how susceptible QDI circuits are to transient faults. We introduce a worst-case model for transients in circuits. We then prove an equivalence of faults within this framework and use this result to provably exhaustively check a widely used QDI circuit, a linear Muller pipeline, for its susceptibility to produce non-stable output signals.
Fichier principal
Vignette du fichier
async_and_faults.pdf (1.23 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04266002 , version 1 (11-01-2024)

Identifiants

Citer

Raghda El Shehaby, Matthias Függer, Andreas Steininger. On the Susceptibility of QDI Circuits to Transient Faults. FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2023, Antwerp, Belgium. pp.69-85, ⟨10.1007/978-3-031-42626-1_5⟩. ⟨hal-04266002⟩
26 Consultations
5 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More