Homepage Sitemap Contact




Home « Team « Publications
» Publications of Niklas Bruns



BOOKS


BOOK CONTRIBUTIONS


JOURNALS

» Towards RISC-V CSR Compliance Testing
[Link to the Homepage of this journal]




Author:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters (ESL)
Details:
accepted
Year:


2021






CONFERENCES



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




Author:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[To the Site of this Conference]



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




Author:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Linz, Austria, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Irvine, CA, USA, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning




Author:

Niklas Bruns, Daniel Große, Rolf Drechsler
Conference:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Beijing, China, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Florence, Italy, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» RISC-V Processor Verification with Coverage-guided Aging




Author:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Virtual, 2022
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE