Quality-Driven SystemC Design

Enhanced Virtual Prototyping for Heterogeneous Systems

Formal Verification of Structurally Complex Multipliers

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Evolutionary Algorithms for VLSI CAD

High Quality Test Pattern Generation and Boolean Satisfiability

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Debugging at the Electronic System Level

Formal Specification Level: Concepts, Methods, and Algorithms

In-Memory Computing: Synthesis and Optimization

Towards a Design Flow for Reversible Logic

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Formal Verification of Circuits

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Advanced Formal Verification

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

Exact Design of Digital Microfluidic Biochips

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Robustness and Usability in Modern Design Flows

Binary Decision Diagrams: Theory and Implementation