Quality-Driven SystemC Design

Enhanced Virtual Prototyping for Heterogeneous Systems

Formal Verification of Structurally Complex Multipliers

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

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