Hardening Techniques against Transient Faults for Asynchronous Circuits.
Yannick MonnetMarc RenaudinRégis LeveuglePublished in: IOLTS (2005)
Keyphrases
- asynchronous circuits
- fault diagnosis
- steady state
- delay insensitive
- fault detection
- process algebra
- model based diagnosis
- multiple faults
- model checking
- abnormal events
- fault detection and diagnosis
- fault model
- expert systems
- markov chain
- temperature field
- fault identification
- error detection
- numerical simulations
- test cases
- multiresolution