Mein Forschungsinteresse ist die Analyse und Validierung von System-Level-Designs. Insbesondere die Extraktion von Daten aus SystemC-Modellen ist ein zentrales Thema meiner Arbeit. Schwerpunkt dieser Aktivitäten ist es, sowohl die Struktur als auch das Verhalten eines gegebenen SystemC-Designs ohne Beschränkung der Sprachmittel und / oder Veränderung der bestehenden Quellen zu extrahieren.
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme | Design, Verständnis und Anwendungen
Automated Analysis of Virtual Prototypes at the Electronic System Level – Design Understanding and Applications
Automatisierte Analyse virtueller Prototypen auf der ESL
OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files
Early SoCs Information Flow Policies Validation using SystemC-based Virtual Prototypes at the ESL
Through the Looking Glass: Automated Design Understanding of SystemC-based VPs at the ESL
PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs using Regression Analysis Techniques
Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
Automated Non-intrusive Analysis of Electronic System Level Designs