DI-ININV
Interaktive Open-Source-Schnittstelle zur formalen Verifikation von Chipdesigns
DI-ININV entwickelt eine interaktive quelloffene Schnittstelle für die formale Verifikation von Chipdesigns. Formale Verifikation bietet mathematische Garantien für die Korrektheit digitaler Systeme und ergänzt simulationsbasierte Testmethoden.
Ziele und Vorgehen
Das Projekt entwickelt eine moderne Open-Source-Umgebung für die formale Verifikation von Chips. Der Ansatz schafft eine inkrementelle Model-Checking-API, die in einen Waveform-Viewer integriert wird. Dies ermöglicht die Analyse von Signalverläufen in Schaltungssimulationen und interaktive Verifikation durch neue Algorithmen und benutzerfreundliche Oberflächen.
Innovationen und Perspektiven
Die Kombination von inkrementeller Model-Checking-API mit einem Waveform-Viewer ermöglicht interaktive Verifikation während des Schaltungsdesigns, verbessert Werkzeuge und steigert die Akzeptanz bei der Open-Source-Chipentwicklung. Das Werkzeug reduziert Kosten, unterstützt KMU und fördert die Fachkräfteausbildung für souveräne deutsche Chipentwicklung.
Verbundkoordinator
- Hochschule für angewandte Wissenschaften München
Dieses Projekt wird vom Bundesministerium für Forschung, Technologie und Raumfahrt (BMFTR) im Rahmen der Designinitiative Mikroelektronik gefördert.
