Quality-Driven SystemC Design

Enhanced Virtual Prototyping for Heterogeneous Systems

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

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

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