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