On the Susceptibility of QDI Circuits to Transient Faults
The work
| Authors | Raghda El Shehaby; Matthias Függer; Andreas Steininger |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2023 |
| Citekey | elshehaby2023susceptibility |
Where it appeared
| Published in | Formal Modeling and Analysis of Timed Systems |
|---|---|
| Publisher | Springer Nature Switzerland |
| Series | Lecture Notes in Computer Science |
| Pages | 69--85 |
Identifiers
| arXiv | 2303.14106 |
|---|---|
| DOI | 10.1007/978-3-031-42626-1_5 |
| ISSN | 0302-9743 |
| ISBN | 978-3-031-42625-4 |
Access
| URL | https://hal.science/hal-04266002 |
|---|---|
| Landing page | https://doi.org/10.1007/978-3-031-42626-1_5 |
Related
| Distinct from | bryant1991methodology |
|---|---|
| Distinct from | bund2020synchronizerfree |
| Distinct from | burlyaev2015design |
| Distinct from | cardelli1982algebraic |
| Distinct from | dhingra1987formal |
| Distinct from | ferres2023electrical |
| Distinct from | fugger2019faithful |
| Distinct from | karri2026softerror |
| Distinct from | kumar2023pragmatic |
| Distinct from | leeser1988reasoning |
| Distinct from | maier2021composable |
| Distinct from | mateescu2020modeling |
| Distinct from | ouchetanalyse |
| Distinct from | xue2024using |
| Distinct from | yan2010formal |
| Distinct from | yan2012oscillator |
From crossref.
Abstract
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.
A copy is held
pdf, 1.4 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-16 03:54 UTC |
| Approved by | a person 2026-10-02 10:05 UTC |
Cite it as
@inproceedings{elshehaby2023susceptibility,
title = {On the Susceptibility of QDI Circuits to Transient Faults},
author = {Raghda El Shehaby and Matthias Függer and Andreas Steininger},
year = {2023},
booktitle = {Formal Modeling and Analysis of Timed Systems},
publisher = {Springer Nature Switzerland},
series = {Lecture Notes in Computer Science},
pages = {69--85},
isbn = {978-3-031-42625-4},
issn = {0302-9743},
eprint = {2303.14106},
doi = {10.1007/978-3-031-42626-1_5},
}
This record lives at https://refs.drheap.org/elshehaby2023susceptibility/ and will keep doing so.