Versatile Hardware Analysis Techniques
2025
Erweiterte virtuelle Prototypen für heterogene Systeme
2024
Formal Verification of Structurally Complex Multipliers
2023
Verbessertes virtuelles Prototyping
2023
Enhanced Virtual Prototyping for Heterogeneous Systems
2022
Recent Findings in Boolean Techniques
2021