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.