Skip to main content Skip to main navigation

Publikationen

Seite 1 von 1.

  1. Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

    Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

    In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Milan Funck; Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification

    In: FDL. Forum on Specification & Design Languages (FDL-2023), September 12-15, Turin, Italy, IEEE, 2023.

  3. Milan Funck; Vladimir Herdt; Rolf Drechsler

    Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …