Drechsler Rolf

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

Evolutionary Algorithms For Vlsi Cad

Evolutionary Algorithms For Vlsi Cad

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

Design For Testability, Debug And Reliability

Automatisierte Analyse Von Virtuellen Prototypen Auf Der Ebene Elektronischer Systeme

In-Memory Computing

Design For Testability, Debug And Reliability

Formal Specification Level

Automated Analysis Of Virtual Prototypes At The Electronic System Level

Automated Analysis Of Virtual Prototypes At The Electronic System Level

In-Memory-Computing

In-Memory Computing

Quality-Driven Systemc Design

High Quality Test Pattern Generation And Boolean Satisfiability

Noch Analog Oder Lebst Du Schon?

Robustness And Usability In Modern Design Flows

Graphenbasierte Funktionsdarstellung

Formal Specification Level

Binary Decision Diagrams

Reversible And Quantum Circuits

Robustness And Usability In Modern Design Flows

Towards One-Pass Synthesis

Reversible And Quantum Circuits

Debugging At The Electronic System Level

Enhanced Virtual Prototyping

Enhanced Virtual Prototyping For Heterogeneous Systems

Erweiterte Virtuelle Prototypen Für Heterogene Systeme

Formal Verification Of Structurally Complex Multipliers

Verbessertes Virtuelles Prototyping

Formal Verification Of Structurally Complex Multipliers

Design Automation Techniques For Approximation Circuits

Enhanced Virtual Prototyping For Heterogeneous Systems

Exact Design Of Digital Microfluidic Biochips

Enhanced Virtual Prototyping

Advanced Bdd Optimization

Computer

Automatic Methods For The Refinement Of System Models

Spectral Techniques In Vlsi Cad

Spectral Techniques In Vlsi Cad

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

Test Pattern Generation Using Boolean Proof Engines

Design Automation For Field-Coupled Nanotechnologies

Design Automation For Field-Coupled Nanotechnologies

Test Pattern Generation Using Boolean Proof Engines