Rolf Drechsler

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Esaurito

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

4,3

Formal modeling and verification of cyber-physical systems

Esaurito

Rolf Drechsler Formal modeling and verification of cyber-physical systems

4,3

Aspekte der Technischen Informatik

Esaurito

Rolf Drechsler Aspekte der Technischen Informatik

4,3

Reversible and Quantum Circuits

Nabila Abdessaied

Esaurito

Nabila Abdessaied Reversible and Quantum Circuits

4,3

Binary Decision Diagrams

Esaurito

Bernd Becker Binary Decision Diagrams

4,3

Robustness and Usability in Modern Design Flows

Esaurito

Rolf Drechsler Robustness and Usability in Modern Design Flows

4,3

Formal Verification of Circuits

Esaurito

Rolf Drechsler Formal Verification of Circuits

4,3

Quality-Driven Systemc Design

Esaurito

Daniel Große Quality-Driven Systemc Design

4,3

Towards One-Pass Synthesis

Esaurito

Rolf Drechsler Towards One-Pass Synthesis

4,3

Evolutionary Algorithms for VLSI CAD

Esaurito

Rolf Drechsler Evolutionary Algorithms for VLSI CAD

4,3

Design for Testability, Debug and Reliability

Esaurito

Sebastian Huhn Design for Testability, Debug and Reliability

4,3

Ordered Kronecker functional decision diagrams und ihre Anwendung

Esaurito

Rolf Drechsler Ordered Kronecker functional decision diagrams und ihre Anwendung

4,3