Extending verilator to enable fault simulation

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

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.

Original languageEnglish
Title of host publicationMBMV 2021
Subtitle of host publicationMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop
PublisherVDE VERLAG GMBH
Pages114-119
Number of pages6
ISBN (Electronic)9783800755011
StatePublished - 2021
Event24. 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
Duration: 18 Mar 202119 Mar 2021

Publication series

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

Conference

Conference24. 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
CityVirtual, Online
Period18/03/2119/03/21

Keywords

  • Fault injection
  • Fault model
  • Fault simulation
  • Safety-critical designs
  • Verilator

Fingerprint

Dive into the research topics of 'Extending verilator to enable fault simulation'. Together they form a unique fingerprint.

Cite this