Rolf Drechsler

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Agotado

Rolf Drechsler Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

4,3

Formal modeling and verification of cyber-physical systems

Agotado

Rolf Drechsler Formal modeling and verification of cyber-physical systems

4,3

Aspekte der Technischen Informatik

Agotado

Rolf Drechsler Aspekte der Technischen Informatik

4,3

Reversible and Quantum Circuits

Nabila Abdessaied

Agotado

Nabila Abdessaied Reversible and Quantum Circuits

4,3

Binary Decision Diagrams

Agotado

Bernd Becker Binary Decision Diagrams

4,3

Robustness and Usability in Modern Design Flows

Agotado

Rolf Drechsler Robustness and Usability in Modern Design Flows

4,3

Formal Verification of Circuits

Agotado

Rolf Drechsler Formal Verification of Circuits

4,3

Quality-Driven Systemc Design

Agotado

Daniel Große Quality-Driven Systemc Design

4,3

Towards One-Pass Synthesis

Agotado

Rolf Drechsler Towards One-Pass Synthesis

4,3

Evolutionary Algorithms for VLSI CAD

Agotado

Rolf Drechsler Evolutionary Algorithms for VLSI CAD

4,3

Design for Testability, Debug and Reliability

Agotado

Sebastian Huhn Design for Testability, Debug and Reliability

4,3

Ordered Kronecker functional decision diagrams und ihre Anwendung

Agotado

Rolf Drechsler Ordered Kronecker functional decision diagrams und ihre Anwendung

4,3