Smart behavioral netlist simulation for SEU protection verification
Schulz S, Beltrame G, Merodio-Codinachs D (2008)
Esa Sp: 406-411.
Zeitschriftenaufsatz
| Veröffentlicht | Englisch
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Schulz, SimonUniBi;
Beltrame, Giovanni;
Merodio-Codinachs, David
Einrichtung
Abstract / Bemerkung
This paper presents a novel approach to verify the correct implementation of Triple Modular Redundancy (TMR) for the memory elements of a given netlist using formal analysis. The purpose is detecting any issues that might incur during the use of automatic tools for TMR insertion, optimization, place and route, etc. Our analysis does not require a testbench and can perform full, exhaustive coverage within less than an hour even for large designs. This is achieved by applying a divide et impera approach, splitting the circuit into smaller submodules without loss of generality, instead of applying formal verification to the whole netlist at once. The methodology has been applied to a production netlist of the LEON2-FT processor that reported errors during radiation testing, successfully showing its TMR implementation issues.
Erscheinungsjahr
2008
Zeitschriftentitel
Esa Sp
Seite(n)
406-411
ISBN
0379-6566
ISSN
0
Page URI
https://pub.uni-bielefeld.de/record/2604602
Zitieren
Schulz S, Beltrame G, Merodio-Codinachs D. Smart behavioral netlist simulation for SEU protection verification. Esa Sp. 2008:406-411.
Schulz, S., Beltrame, G., & Merodio-Codinachs, D. (2008). Smart behavioral netlist simulation for SEU protection verification. Esa Sp, 406-411. doi:10.1109/RADECS.2008.5782753
Schulz, Simon, Beltrame, Giovanni, and Merodio-Codinachs, David. 2008. “Smart behavioral netlist simulation for SEU protection verification”. Esa Sp, 406-411.
Schulz, S., Beltrame, G., and Merodio-Codinachs, D. (2008). Smart behavioral netlist simulation for SEU protection verification. Esa Sp, 406-411.
Schulz, S., Beltrame, G., & Merodio-Codinachs, D., 2008. Smart behavioral netlist simulation for SEU protection verification. Esa Sp, , p 406-411.
S. Schulz, G. Beltrame, and D. Merodio-Codinachs, “Smart behavioral netlist simulation for SEU protection verification”, Esa Sp, 2008, pp. 406-411.
Schulz, S., Beltrame, G., Merodio-Codinachs, D.: Smart behavioral netlist simulation for SEU protection verification. Esa Sp. 406-411 (2008).
Schulz, Simon, Beltrame, Giovanni, and Merodio-Codinachs, David. “Smart behavioral netlist simulation for SEU protection verification”. Esa Sp (2008): 406-411.
Link(s) zu Volltext(en)
Access Level
Closed Access