Publications

Page 4 of 4.

Vladimir Herdt; Daniel Große; Rolf Drechsler
Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.
Vladimir Herdt; Daniel Große; Rolf Drechsler
Towards Specification and Testing of RISC-V ISA Compliance
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.
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.
Vladimir Herdt; Daniel Große; Rolf Drechsler
Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.
Vladimir Herdt; Rolf Drechsler
Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020), July 6-8, Limassol, Cyprus, …
Vladimir Herdt; Daniel Große; Rolf Drechsler
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for …
Vladimir Herdt; Daniel Große; Eyck Jentzsch; Rolf Drechsler
Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020), September 15-17, Kiel, Germany, 2020.
Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler
Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime
In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, …