Niklas Bruns

According to our database, Niklas Bruns authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Virtual prototype centric verification for embedded system development.

Niklas Bruns

PhD thesis, 2023

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

Niklas Bruns, Vladimir Herdt, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing.

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

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

Niklas Bruns, Vladimir Herdt, Rolf Drechsler

Proceedings of the Forum on Specification & Design Languages, 2022

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

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Toward RISC-V CSR Compliance Testing.

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler

IEEE Embed. Syst. Lett., 2021

2020

Early Verification of ISA Extension Specifications using Deep Reinforcement Learning.

Niklas Bruns, Daniel Große, Rolf Drechsler

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

2019

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

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019