Skip to main content Skip to main navigation

Publikation

VP-based DIFT for Embedded Binaries: A RISC-V Case Study

Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler
In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.