TY - GEN
T1 - Extending verilator to enable fault simulation
AU - Kaja, Endri
AU - Leon, Nicolas Ojeda
AU - Werner, Michael
AU - Andrei-Tabacaru, Bogdan
AU - Devarajegowda, Keerthikumara
AU - Ecker, Wolfgang
N1 - Publisher Copyright:
© VDE VERLAG GMBH ∙ Berlin ∙ Offenbach
PY - 2021
Y1 - 2021
N2 - Fault simulation is a technique used to evaluate the robustness of safety-critical systems. An objective of the technique is to inject faults into a system and to observe its behavior. To deal with the large and complex designs, fast and valid fault simulation techniques are highly demanded. For this purpose fault simulators are used. Fault simulators are software programs that facilitate fault injection on a design model and capture the responses of a design for different fault types. This paper explores methods for extending a hardware simulator with fault injection capability. We consider Verilator, an open source hardware simulator, for fault simulation of complex designs. Towards this end, we extend Verilator with fault injection capability. Verilator’s high performance combined with the added functionality for fault modeling provides accurate and fast results to measure the dependability and robustness of designs. To evaluate and validate the approach, different fault models were injected into several designs. The experimental results show an average slowdown of 23% of the simulator runtime. Furthermore, the technique was used to evaluate the dependability of an SoC with a safety related software flow monitoring algorithm.
AB - Fault simulation is a technique used to evaluate the robustness of safety-critical systems. An objective of the technique is to inject faults into a system and to observe its behavior. To deal with the large and complex designs, fast and valid fault simulation techniques are highly demanded. For this purpose fault simulators are used. Fault simulators are software programs that facilitate fault injection on a design model and capture the responses of a design for different fault types. This paper explores methods for extending a hardware simulator with fault injection capability. We consider Verilator, an open source hardware simulator, for fault simulation of complex designs. Towards this end, we extend Verilator with fault injection capability. Verilator’s high performance combined with the added functionality for fault modeling provides accurate and fast results to measure the dependability and robustness of designs. To evaluate and validate the approach, different fault models were injected into several designs. The experimental results show an average slowdown of 23% of the simulator runtime. Furthermore, the technique was used to evaluate the dependability of an SoC with a safety related software flow monitoring algorithm.
KW - Fault injection
KW - Fault model
KW - Fault simulation
KW - Safety-critical designs
KW - Verilator
UR - http://www.scopus.com/inward/record.url?scp=85117457067&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85117457067
T3 - MBMV 2021: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop
SP - 114
EP - 119
BT - MBMV 2021
PB - VDE VERLAG GMBH
T2 - 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2021 - 24th Workshop on Methods and Description Languages for the Modeling and Verification of Circuits and Systems, MBMV 2021
Y2 - 18 March 2021 through 19 March 2021
ER -