Daniel Große

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Formal Verification of Structurally Complex Multipliers

Quality-Driven SystemC Design

Enhanced Virtual Prototyping for Heterogeneous Systems

Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Erweiterte virtuelle Prototypen für heterogene Systeme