Publication

Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes

Sören Tempel, Vladimir Herdt, Rolf Drechsler

In: 4th Workshop on RISC-V Activities. Workshop on RISC-V Activities December 2-2 virtuell 2021.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz