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

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Erweiterte virtuelle Prototypen für heterogene Systeme