(1 - 18 von 18
)
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 ...
The 26th Asia and South Pacific Design Automation Conference...
riscv.org
— Author: Vladimir Herdt (DFKI GmbH, Germany), *Sören Tempel (Univ. of Bremen, Germany), Daniel Große (Johannes Kepler Univ. › Events
sortiert nach Relevanz / Datum