Drechsler Rolf

Advanced Boolean Techniques: Selected Papers From The 15th International Workshop On Boolean Problems

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

Formal Verification Of Circuits

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

In-Memory Computing

Automated Analysis Of Virtual Prototypes At The Electronic System Level

Formal Specification Level

In-Memory-Computing

Robustness And Usability In Modern Design Flows

Quality-Driven Systemc Design

Noch Analog Oder Lebst Du Schon?

Reversible And Quantum Circuits

Graphenbasierte Funktionsdarstellung

Formal Specification Level

Robustness And Usability In Modern Design Flows

Reversible And Quantum Circuits

Debugging At The Electronic System Level

Enhanced Virtual Prototyping

Erweiterte Virtuelle Prototypen Für Heterogene Systeme

Verbessertes Virtuelles Prototyping

Formal Verification Of Structurally Complex Multipliers

Formal Verification Of Structurally Complex Multipliers

Design Automation Techniques For Approximation Circuits

Enhanced Virtual Prototyping

Exact Design Of Digital Microfluidic Biochips

Enhanced Virtual Prototyping For Heterogeneous Systems

Automatic Methods For The Refinement Of System Models

Computer

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

Quality-Driven Systemc Design

Debugging At The Electronic System Level

Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit

Automated Analysis Of Virtual Prototypes At The Electronic System Level

High Quality Test Pattern Generation And Boolean Satisfiability