Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems
Conference: MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
03/23/2023 - 03/24/2023 at Freiburg
Proceedings: ITG-Fb. 309: MBMV 2023
Pages: 4Language: englishTyp: PDF
Authors:
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)
Abstract:
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.