Rolf Drechsler

Formal Verification Of Circuits

Advanced Formal Verification

Debugging At The Electronic System Level

Quality-Driven Systemc Design

Evolutionary Algorithms For Embedded System Design

Towards A Design Flow For Reversible Logic

Test Pattern Generation Using Boolean Proof Engines

Formal And Practical Techniques For The Complex System Design Process Using Virtual Prototypes

Formal Verification Of Structurally Complex Multipliers

Enhanced Virtual Prototyping For Heterogeneous Systems

Automatisierte Analyse Von Virtuellen Prototypen Auf Der Ebene Elektronischer Systeme

Formal Verification Of Structurally Complex Multipliers

In-Memory-Computing

Enhanced Virtual Prototyping For Heterogeneous Systems

Verbessertes Virtuelles Prototyping

Design For Testability, Debug And Reliability

Design Automation For Field-Coupled Nanotechnologies

Design For Testability, Debug And Reliability

Automated Analysis Of Virtual Prototypes At The Electronic System Level

Enhanced Virtual Prototyping

Noch Analog Oder Lebst Du Schon?

Enhanced Virtual Prototyping

In-Memory Computing

Automated Analysis Of Virtual Prototypes At The Electronic System Level

Design Automation Techniques For Approximation Circuits

Automated Validation & Verification Of Uml/Ocl Models Using Satisfiability Solvers

Exact Design Of Digital Microfluidic Biochips

Robustness And Usability In Modern Design Flows

Reversible And Quantum Circuits

Spectral Techniques In Vlsi Cad

Advanced Bdd Optimization

Robustness And Usability In Modern Design Flows

Towards One-Pass Synthesis

Reversible And Quantum Circuits

Spectral Techniques In Vlsi Cad

Formal Specification Level

Binary Decision Diagrams

Graphenbasierte Funktionsdarstellung

Formal Specification Level

Debugging At The Electronic System Level

Evolutionary Algorithms For Vlsi Cad

Computer

Automatic Methods For The Refinement Of System Models

Test Pattern Generation Using Boolean Proof Engines

Quality-Driven Systemc Design