Mein Forschungsschwerpunkt ist die Verifikation von Systemen. Der derzeitige Fokus meiner Tätigkeit liegt auf der Coverage-getriebenen Verifikation sowie der Cross-Level-Verifikation von eingebetteten Systemen auf der Basis von RISC-V.
Towards RISC-V CSR Compliance Testing