Libros
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
Advanced Boolean Techniques
2023
Formal Verification of Structurally Complex Multipliers
2023