Milan Funck

According to our database, Milan Funck authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

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