Rolf Drechsler

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Épuisé

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

Formal modeling and verification of cyber-physical systems

Épuisé

Rolf Drechsler Formal modeling and verification of cyber-physical systems

Aspekte der Technischen Informatik

Épuisé

Rolf Drechsler Aspekte der Technischen Informatik

Reversible and Quantum Circuits

Nabila Abdessaied

Épuisé

Nabila Abdessaied Reversible and Quantum Circuits

Binary Decision Diagrams

Épuisé

Bernd Becker Binary Decision Diagrams

Robustness and Usability in Modern Design Flows

Épuisé

Rolf Drechsler Robustness and Usability in Modern Design Flows

Formal Verification of Circuits

Épuisé

Rolf Drechsler Formal Verification of Circuits

Quality-Driven Systemc Design

Épuisé

Daniel Große Quality-Driven Systemc Design

Towards One-Pass Synthesis

Épuisé

Rolf Drechsler Towards One-Pass Synthesis

Evolutionary Algorithms for VLSI CAD

Épuisé

Rolf Drechsler Evolutionary Algorithms for VLSI CAD

Design for Testability, Debug and Reliability

Épuisé

Sebastian Huhn Design for Testability, Debug and Reliability

Ordered Kronecker functional decision diagrams und ihre Anwendung

Épuisé

Rolf Drechsler Ordered Kronecker functional decision diagrams und ihre Anwendung