Filters
Advanced Search Browse by Genre

Found 68 results for "Rolf Drechsler"

Formal System Verification
Formal System Verification

by Rolf Drechsler

2017 2 ed.
Embedded computer systems Ubiquitous computing
Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design

by Rolf Drechsler

2003 2 ed.
Embedded computer systems Genetic algorithms Evolutionary programming ...
Advanced formal verification
Advanced formal verification

by Rolf Drechsler

2004 2 ed.
Circuits electro nics Proves Arbres de decisio .
Advanced Formal Verification
Advanced Formal Verification

by Rolf Drechsler

2007 1 ed.
Electronic circuits
Computer
Computer

by Rolf Drechsler

2017 1 ed.
Binary Decision Diagrams
Binary Decision Diagrams

by Rolf Drechsler

1998 1 ed.
Systems engineering Engineering Computer-aided design
Evolutionary Algorithms for VLSI CAD
Evolutionary Algorithms for VLSI CAD

by Rolf Drechsler

1998 1 ed.
Systems engineering Electronic data processin... Engineering
Formal Verification of Circuits
Formal Verification of Circuits

by Rolf Drechsler

2000 1 ed.
Computer hardware Electronic data processin... Computer engineering
Towards One-Pass Synthesis
Towards One-Pass Synthesis

by Rolf Drechsler

2002 1 ed.
Electronic data processin... Computer engineering Computer-aided design
Towards One-Pass Synthesis
Towards One-Pass Synthesis

by Rolf Drechsler

2002 1 ed.
Computer science Computer aided design
Test pattern generation using Boolean proof engines
Test pattern generation using Boolean proof engines

by Rolf Drechsler

2009 1 ed.
Computer algorithms Boolean Algebra Integrierte Schaltung
Evolutionary algorithms for embedded system design
Evolutionary algorithms for embedded system design

by Rolf Drechsler

2003 1 ed.
Evolutionary programming ... Embedded computer systems Genetic algorithms
Advanced Formal Verification
Advanced Formal Verification

by Rolf Drechsler

2004 1 ed.
Electronic circuits Decision trees Testing
Binary decision diagrams
Binary decision diagrams

by Rolf Drechsler

1998 1 ed.
Mathematical models Decision logic tables Decision trees
Evolutionary algorithms for VLSI CAD
Evolutionary algorithms for VLSI CAD

by Rolf Drechsler

1998 1 ed.
Evolutionary programming ... Algorithms Integrated circuits
Formal Verification of Circuits
Formal Verification of Circuits

by Rolf Drechsler

Formal verification has become one of the most important steps in circuit design.

2000 1 ed.
Electronic circuits Decision trees Testing
High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
High Quality Test Pattern Generation Robust Algorithms Using...

by Rolf Drechsler

2012 1 ed.
Advanced Boolean Techniques
Advanced Boolean Techniques

by Rolf Drechsler, Mathias Soeken

2019 4 ed.
Design for Testability, Debug and Reliability
Design for Testability, Debug and Reliability

by Sebastian Huhn, Rolf Drechsler

2021 2 ed.
In-Memory Computing
In-Memory Computing

by Saeideh Shirinzadeh, Rolf Drechsler

2019 3 ed.