Smart behavioral netlist simulation for SEU protection verification

Schulz S, Beltrame G, Merodio-Codinachs D (2008)
Esa Sp: 406-411.

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Zeitschriftenaufsatz | Veröffentlicht | Englisch
Autor
; ;
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
Zeitschriftentitel
Esa Sp
Seite
406-411
ISBN
ISSN
PUB-ID

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, 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
Restricted Closed Access

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar
ISBN Suche