MPG.eBooks - Author Search Results

Rolf Drechsler

Rolf Drechsler is an electrical engineer at the University of Bremen, Germany. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for his contributions in testing and verification of electronic circuits and systems. He was named as an ACM Fellow in 2023. Provided by Wikipedia

Cover Image

1

Evolutionary Algorithms for VLSI CAD

by Drechsler, Rolf
Published 1998

Springer US

Cover Image

2

Formal Verification of Circuits

by Drechsler, Rolf
Published 2000

Springer US

Cover Image

3

Robustness and Usability in Modern Design Flows

by Fey, Görschwin, Drechsler, Rolf
Published 2008

Springer Netherlands

Cover Image

4

Formal Specification Level : Concepts, Methods, and Algorithms

by Soeken, Mathias, Drechsler, Rolf
Published 2015

Springer International Publishing

Cover Image

5

Graphenbasierte Funktionsdarstellung : Boolesche und Pseudo-Boolesche Funktionen

by Drechsler, Rolf, Becker, Bernd
Published 1998

Vieweg+Teubner Verlag

Cover Image

6

Towards One-Pass Synthesis

by Drechsler, Rolf, Günther, Wolfgang
Published 2002

Springer US

Cover Image

7

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques

by Huhn, Sebastian, Drechsler, Rolf
Published 2021

Springer International Publishing

Cover Image

8

Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

Springer International Publishing

Cover Image

9

Binary Decision Diagrams : Theory and Implementation

by Drechsler, Rolf, Becker, Bernd
Published 1998

Springer US

Cover Image

10

In-Memory-Computing : Synthese und Optimierung

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2023

Springer International Publishing

Cover Image

11

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications

by Goli, Mehran, Drechsler, Rolf
Published 2020

Springer International Publishing

Cover Image

12

Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen

by Drechsler, Rolf, Stoppe, Jannis
Published 2021

Springer Fachmedien Wiesbaden

Cover Image

13

High Quality Test Pattern Generation and Boolean Satisfiability

by Eggersglüß, Stephan, Drechsler, Rolf
Published 2012

Springer New York

Cover Image

14

Quality-Driven SystemC Design

by Große, Daniel, Drechsler, Rolf
Published 2010

Springer Netherlands

Cover Image

15

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010

Springer Netherlands

Cover Image

16

Debugging at the Electronic System Level

by Rogin, Frank, Drechsler, Rolf
Published 2010

Springer Netherlands

Cover Image

17

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Springer International Publishing

Cover Image

18

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verständnis und Anwendungen

by Goli, Mehran, Drechsler, Rolf
Published 2023

Springer International Publishing

Cover Image

19

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit : Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

by Huhn, Sebastian, Drechsler, Rolf
Published 2023

Springer International Publishing

Cover Image

20

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never

by Pieper, Pascal, Drechsler, Rolf
Published 2024

Springer Nature Switzerland

1
2
3