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, virtuell, 2021.