Characterizing fault propagation in safety-critical processor designs
Document typeConference report
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
European Commission's projectHIPEAC - High Performance and Embedded Architecture and Compilation (EC-FP7-287759)
Achieving reduced time-to-market in modern electronic designs targeting safety critical applications is becoming very challenging, as these designs need to go through a certification step that introduces a non-negligible overhead in the verification and validation process. To cope with this challenge, safety-critical systems industry is demanding new tools and methodologies allowing quick and cost-effective means for robustness verification. Microarchitectural simulators have been widely used to test reliability properties in different domains but their use in the process of robustness verification remains yet to be validated against other accepted methods such as RTL or gate-level simulation. In this paper we perform fault injections in an RTL model of a processor to characterize fault propagation. The results and conclusions of this characterization will serve to devise to what extent fault injection methodologies for robustness verification using microarchitectural simulators can be employed.
CitationEspinosa, Jaime; Hernandez, Carles; Abella, Jaume. Characterizing fault propagation in safety-critical processor designs. A: 21st International On-Line Testing Symposium (IOLTS), 6-8 July 2015, Halkidiki. "2015 IEEE 21st International On-Line Testing Symposium (IOLTS)". Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 144-149.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder