Skip to main content Skip to main navigation

Milan Funck, M.Sc.

Organizational unit Cyber-Physical Systems
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.

To the publication

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.

To the publication

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.

To the publication