Rolf Drechsler

Towards One-Pass Synthesis

Formal Verification of Circuits

Binary Decision Diagrams

Evolutionary Algorithms for VLSI CAD

Advanced Boolean Techniques

Formal System Verification

Formal Modeling and Verification of Cyber-Physical Systems

Test pattern generation using Boolean proof engines

Advanced Formal Verification

Evolutionary Algorithms for Embedded System Design

Towards one-pass synthesis

Towards One-Pass Synthesis

Formal Verification of Circuits

Recent Findings in Boolean Techniques

Computer

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Test Pattern Generation using Boolean Proof Engines

Advanced formal verification

Advanced Formal Verification

Graphenbasierte Funktionsdarstellung

Noch Analog Oder Lebst du Schon?

Towards one-pass synthesis

Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes

Design Automation for Field-Coupled Nanotechnologies

Enhanced Virtual Prototyping for Heterogeneous Systems

Automated Analysis of Virtual Prototypes at the Electronic System Level

Information Storage

Reversible and Quantum Circuits

Automatic Methods for the Refinement of System Models

Formal Specification Level

High Quality Test Pattern Generation and Boolean Satisfiability

Advanced BDD Optimization

Spectral techniques in VLSI CAD

Polynomial Formal Verification of Arithmetic Circuits