Quality-Driven SystemC Design

Enhanced Virtual Prototyping for Heterogeneous Systems

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

Formal Verification of Structurally Complex Multipliers

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies