Non-intrusive runtime verification within a system-on-chip

José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma


This paper describes how to enrich a System-on-Chip (SoC) design by flexible monitoring capabilities allowing to analyze the system's execution for ensuring safety requirements. To this end, a general SoC architecture is described enriched by observation means. Moreover, it is described how verification properties expressed in a temporal stream-based specification language can be translated into a monitor expressed in a hardware description language (Verilog) checking the underlying property. Finally, the link between the SoC and the monitoring unit is explained. Overall, a self-observing system is obtained that works coherently with the SoC.

Original languageEnglish
JournalAda User Journal
Issue number4
Pages (from-to)296-299
Number of pages4
Publication statusPublished - 12.2018


Dive into the research topics of 'Non-intrusive runtime verification within a system-on-chip'. Together they form a unique fingerprint.

Cite this