Login / Signup
Milan Funck
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Formal Verification
Final Stage
Chip Design
Bounded Model Checking
Top Venues
FDL
DDECS
DATE
</>
Publications
</>
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
Evaluating an Open-Source Hardware Approach from HDL to GDS for a Security Chip Design - a Review of the Final Stage of Project HEP.
DATE
(2024)
Milan Funck
,
Sallar Ahmadi-Pour
,
Vladimir Herdt
,
Rolf Drechsler
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification.
FDL
(2023)
Milan Funck
,
Vladimir Herdt
,
Rolf Drechsler
Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions.
DDECS
(2022)