Extending verilator to enable fault simulation

Endri Kaja, Nicolas Ojeda Leon, Michael Werner, Bogdan Andrei-Tabacaru, Keerthikumara Devarajegowda, Wolfgang Ecker

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

2 Zitate (Scopus)

Abstract

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.

OriginalspracheEnglisch
TitelMBMV 2021
UntertitelMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop
Herausgeber (Verlag)VDE VERLAG GMBH
Seiten114-119
Seitenumfang6
ISBN (elektronisch)9783800755011
PublikationsstatusVeröffentlicht - 2021
Veranstaltung24. 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 - Virtual, Online
Dauer: 18 März 202119 März 2021

Publikationsreihe

NameMBMV 2021: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop

Konferenz

Konferenz24. 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
OrtVirtual, Online
Zeitraum18/03/2119/03/21

Fingerprint

Untersuchen Sie die Forschungsthemen von „Extending verilator to enable fault simulation“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren