Milan Funck, M.Sc.

Publikationen

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

   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

   In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
2. Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification

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

   In: FDL. Forum on Specification & Design Languages (FDL-2023), September 12-15, Turin, Italy, IEEE, 2023.
3. Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

   Milan Funck; Vladimir Herdt; Rolf Drechsler

   In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.