Milan Funck

According to our database, Milan Funck authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

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

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

Proceedings of the Forum on Specification & Design Languages, 2023

2022

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

Milan Funck, Vladimir Herdt, Rolf Drechsler

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022