Rolf Drechsler
46 works on record
Works

Advanced Formal Verification
2004

Towards one-pass synthesis
2002

Formal Verification of Circuits
2000

Evolutionary algorithms for VLSI CAD
1998

Binary decision diagrams
1998

Test pattern generation using Boolean proof engines

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Evolutionary Algorithms for Embedded System Design

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

Advanced BDD Optimization

Graphenbasierte Funktionsdarstellung

Formal System Verification

Design Automation Techniques for Approximation Circuits

Information Storage

Formal Specification Level

Formal Modeling and Verification of Cyber-Physical Systems

Advanced Logic Synthesis

Reversible and Quantum Circuits

Automated Analysis of Virtual Prototypes at the Electronic System Level

Quality-Driven SystemC Design

Exact Design of Digital Microfluidic Biochips

In-Memory Computing

High Quality Test Pattern Generation and Boolean Satisfiability

Automatic Methods for the Refinement of System Models

Natural Language Processing for Electronic Design Automation

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

Robustness and Usability in Modern Design Flows

Advanced Boolean Techniques

Computer

Spectral techniques in VLSI CAD
Applications of Evolutionary Computing : EvoWorkshops 2007
Applications of Evolutionary Computing : EvoWorkshops 2008
Enhanced Virtual Prototyping
Noch Analog Oder Lebst du Schon?
Design for Testability, Debug and Reliability
Design Automation for Field-Coupled Nanotechnologies
Recent Findings in Boolean Techniques
Applications of Evolutionary Computing : Evoworkshops
Enhanced Virtual Prototyping for Heterogeneous Systems
Erweitertes Virtuelles Prototyping
Formal Verification of Structurally Complex Multipliers
Automatisierte Analyse Von Virtuellen Prototypen Auf der Ebene Elektronischer Systeme
Erweiterte Virtuelle Prototypen Für Heterogene Systeme
Design Für Testbarkeit, Fehlersuche und Zuverlässigkeit
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes
Polynomial Formal Verification of Arithmetic Circuits