Books
Advanced Logic Synthesis
2017
Erweiterte virtuelle Prototypen für heterogene Systeme
2024
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
2024
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
2024
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
2023
In-Memory-Computing
2023