Rolf Drechsler
46 works on record
Works
Advanced Formal Verification
2004
Towards one-pass synthesis
2002
Formal Verification of Circuits
2000
Evolutionary algorithms for VLSI CAD
1998
Binary decision diagrams
1998
Test pattern generation using Boolean proof engines
High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
Evolutionary Algorithms for Embedded System Design
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)
Advanced BDD Optimization
Graphenbasierte Funktionsdarstellung
Formal System Verification
Design Automation Techniques for Approximation Circuits
Information Storage
Formal Specification Level
Formal Modeling and Verification of Cyber-Physical Systems
Advanced Logic Synthesis
Reversible and Quantum Circuits
Automated Analysis of Virtual Prototypes at the Electronic System Level
Quality-Driven SystemC Design
Exact Design of Digital Microfluidic Biochips
In-Memory Computing
High Quality Test Pattern Generation and Boolean Satisfiability
Automatic Methods for the Refinement of System Models
Natural Language Processing for Electronic Design Automation
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Robustness and Usability in Modern Design Flows
Advanced Boolean Techniques
Computer
Spectral techniques in VLSI CAD
Applications of Evolutionary Computing : EvoWorkshops 2007
Applications of Evolutionary Computing : EvoWorkshops 2008
Enhanced Virtual Prototyping
Noch Analog Oder Lebst du Schon?
Design for Testability, Debug and Reliability
Design Automation for Field-Coupled Nanotechnologies
Recent Findings in Boolean Techniques
Applications of Evolutionary Computing : Evoworkshops
Enhanced Virtual Prototyping for Heterogeneous Systems
Erweitertes Virtuelles Prototyping
Formal Verification of Structurally Complex Multipliers
Automatisierte Analyse Von Virtuellen Prototypen Auf der Ebene Elektronischer Systeme
Erweiterte Virtuelle Prototypen Für Heterogene Systeme
Design Für Testbarkeit, Fehlersuche und Zuverlässigkeit
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes
Polynomial Formal Verification of Arithmetic Circuits