Milan Funck, M.Sc.

Contact

Address (Bremen)

Publications

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.
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.
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.