Robotics Innovation Center

Page 1 of 1.

1. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

   Processor Verification using Symbolic Execution: A RISC-V Case-Study

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

2. Niklas Bruns; Sallar Ahmadi-Pour; Sören Tempel; Rolf Drechsler

   Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

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

3. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

   Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022), March 14-23, Antwerpen, Belgium, 2022.

4. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

   RISC-V Processor Verification with Coverage-guided Aging

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

5. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

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

6. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

   Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

7. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Towards RISC-V CSR Compliance Testing

   In: IEEE Embedded Systems Letters (ESL), IEEE, 2021.

8. Niklas Bruns; Daniel Große; Rolf Drechsler

   Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

   In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.

9. Hoang M. Le; Daniel Große; Niklas Bruns; Rolf Drechsler

   Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

• 1