Niklas Bruns

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Instruction Set

Linear Time Temporal Logic

Top Venues

ACM Great Lakes Symposium on VLSI

IEEE Embed. Syst. Lett.

Publications

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Processor Verification using Symbolic Execution: A RISC-V Case-Study. DATE (2023)
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. FDL (2022)
Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging. DATE (2022)
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing. ACM Great Lakes Symposium on VLSI (2022)
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Toward RISC-V CSR Compliance Testing. IEEE Embed. Syst. Lett. 13 (4) (2021)
Niklas Bruns, Daniel Große, Rolf Drechsler
Early Verification of ISA Extension Specifications using Deep Reinforcement Learning. ACM Great Lakes Symposium on VLSI (2020)
Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. DATE (2019)