Evolutionary Algorithms for VLSI CAD

Formal Verification of Circuits

Advanced Formal Verification

High Quality Test Pattern Generation and Boolean Satisfiability

Reversible and Quantum Circuits: Optimization and Complexity Analysis

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

Formal Specification Level: Concepts, Methods, and Algorithms

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

In-Memory Computing: Synthesis and Optimization

Towards a Design Flow for Reversible Logic

Quality-Driven SystemC Design

Binary Decision Diagrams: Theory and Implementation

Robustness and Usability in Modern Design Flows

Exact Design of Digital Microfluidic Biochips

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

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

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping for Heterogeneous Systems

Towards One-Pass Synthesis

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers