(1 - 10 von 10
)
4th Workshop on RISC-V Activities - Programm | edacentrum
www.edacentrum.de
Sören Tempel (University of Bremen, D) Vladimir Herdt (University of Bremen / DFKI, D) Rolf Drechsler (University of Bremen / DFKI, D) In this presentation we show an effective methodology for verification of RISC-V embedded software by integrating concolic testing with SystemC-based virtual prototypes. The integration involves extending the ...
sortiert nach Relevanz / Datum