Publikation

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.

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