Smart behavioral netlist simulation for SEU protection verification

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

Journal Article | Published | English

No fulltext has been uploaded

Author
; ;
Abstract
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.
Publishing Year
ISBN
ISSN
PUB-ID

Cite this

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.
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.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Search this title in

Google Scholar
ISBN Search