Efficient handling of the fault space in functional safety analysis utilizing formal methods
| Autor: | Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Functional safety Computer science Monte Carlo method Hardware_PERFORMANCEANDRELIABILITY 02 engineering and technology Formal methods 020202 computer hardware & architecture Reliability engineering Robustness (computer science) 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Markov property Formal verification Hardware_LOGICDESIGN |
| Zdroj: | VLSI-SoC |
| DOI: | 10.1109/vlsi-soc.2016.7753546 |
| Popis: | Circuit robustness can be increased with selective Flip-Flop hardening. Finding candidate sets of Flip-Flops for optimal selective hardening requires costly fault simulations, in particular if we consider safety properties stating that a bad state should never be reached in future. We present a fully symbolic formal method that gives a rigorous robustness measure without the need of extensive fault simulation and that can be applied in early design stages for selective hardening. Using Formal Verification, we define, compute and measure a set of “critical transitions”. The Markov Property is not required for the proposed method. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|