Rolf Drechsler – författare

Advanced BDD Optimization

Spectral Techniques in VLSI CAD

Formal Verification of Circuits

Evolutionary Algorithms for VLSI CAD

Binary Decision Diagrams

Theory and Implementation

Robustness and Usability in Modern Design Flows

Towards One-Pass Synthesis

Evolutionary Algorithms for Embedded System Design

Advanced Formal Verification

Advanced BDD Optimization

Formal Verification of Circuits

Evolutionary Algorithms for VLSI CAD

Binary Decision Diagrams

Theory and Implementation

Towards One-Pass Synthesis

Advanced Formal Verification

High Quality Test Pattern Generation and Boolean Satisfiability

Evolutionary Algorithms for Embedded System Design

Spectral Techniques in VLSI CAD

High Quality Test Pattern Generation and Boolean Satisfiability

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

Exact Design of Digital Microfluidic Biochips

In-Memory Computing

Synthesis and Optimization

In-Memory Computing

Synthesis and Optimization

Information Storage

A Multidisciplinary Perspective

Information Storage

A Multidisciplinary Perspective

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Automated Analysis of Virtual Prototypes at the Electronic System Level

Design Understanding and Applications

Automated Analysis of Virtual Prototypes at the Electronic System Level

Design Understanding and Applications