Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems
Konferenz: MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
23.03.2023-24.03.2023 in Freiburg
Tagungsband: ITG-Fb. 309: MBMV 2023
Seiten: 4Sprache: EnglischTyp: PDF
Autoren:
Bruns, Niklas; Ahmadi-Pour, Sallar (Institute of Computer Science, University of Bremen, Germany)
Tempel, Soeren; Drechsler, Rolf (Institute of Computer Science, University of Bremen, Germany & Cyber-Physical Systems, DFKI GmbH, Bremen, Germany)
Inhalt:
In this extended abstract, we present several approaches for the verification of embedded systems. First, we present four cross-level approaches for processor verification at the Register-Transfer Level (RTL) using a cross-level setting with an Instruction Set Simulator (ISS) as a reference model. Second, we present a comprehensive verification approach for verifying embedded software with symbolic execution.