Drechsler, Rolf

Evolutionary Algorithms For Vlsi Cad

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

Design For Testability, Debug And Reliability

Formal Specification Level

Noch Analog Oder Lebst Du Schon?

Robustness And Usability In Modern Design Flows

Quality-Driven Systemc Design

Reversible And Quantum Circuits

Robustness And Usability In Modern Design Flows

Graphenbasierte Funktionsdarstellung

Reversible And Quantum Circuits

Debugging At The Electronic System Level

Erweiterte Virtuelle Prototypen Für Heterogene Systeme

Computer

Automatic Methods For The Refinement Of System Models

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

Quality-Driven Systemc Design

Debugging At The Electronic System Level

Evolutionary Algorithms For Vlsi Cad

Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit

Design For Testability, Debug And Reliability

Automated Analysis Of Virtual Prototypes At The Electronic System Level

Automated Analysis Of Virtual Prototypes At The Electronic System Level

High Quality Test Pattern Generation And Boolean Satisfiability

Towards One-Pass Synthesis

Spectral Techniques In Vlsi Cad

Evolutionary Algorithms For Embedded System Design

Advanced Formal Verification