Robotics Innovation Center

Page 1 of 1.

1. Pascal Pieper; Vladimir Herdt; Rolf Drechsler

   Advanced Embedded System Modeling and Simulation in an Open Source RISC-V Virtual Prototype

   In: Teresa Cervero; Kevin Martin; Mario Kovač; Maurizio Martina (Hrsg.). Journal of Low Power Electronics and Applications (JLPEA), Vol. 12, No. 4 …

2. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools

   In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022), July 10-14, San Francisco, USA, 2022.

3. Pascal Pieper; Vladimir Herdt; Rolf Drechsler

   Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype

   In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

4. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

   VP-based DIFT for Embedded Binaries: A RISC-V Case Study

   In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

5. Pascal Pieper; Ralf Wimmer; Gerhard Angst; Rolf Drechsler

   Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level

   In: 31st ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2021), June 22-25, 2021.

6. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes

   In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

7. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

   RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

   In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.

• 1