Rolf Drechsler

Advanced Logic Synthesis

Towards a Design Flow for Reversible Logic

Enhanced Virtual Prototyping

Automated Analysis of Virtual Prototypes at the Electronic System Level

Formal Verification of Structurally Complex Multipliers

Design for Testability, Debug and Reliability

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

In-Memory-Computing

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

Exact Design of Digital Microfluidic Biochips

Recent Findings in Boolean Techniques

Recent Findings in Boolean Techniques

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

Formal Verification of Structurally Complex Multipliers

Formal System Verification

Design for Testability, Debug and Reliability

In-Memory Computing

Noch analog oder lebst Du schon?

Design Automation Techniques for Approximation Circuits

Reversible and Quantum Circuits

Automated Analysis of Virtual Prototypes at the Electronic System Level

Languages, Design Methods, and Tools for Electronic System Design

Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Advanced Boolean Techniques

Languages, Design Methods, and Tools for Electronic System Design

Information Storage

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

Design Automation Techniques for Approximation Circuits

Natural Language Processing for Electronic Design Automation

Verbessertes virtuelles Prototyping

Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping

Advanced Boolean Techniques