DI-OSVISE
Open-Source-Designwerkzeuge für die Verifikation von Prozessoren und digitalen Schaltungen
DI-OSVISE entwickelt quelloffene Designwerkzeuge für die Verifikation von Prozessoren und digitalen Schaltungen. Rigorose Verifikation ist unverzichtbar, um die funktionale Korrektheit von Hardware verlässlich sicherzustellen.
Ziele und Vorgehen
Das Verbundvorhaben schließt bestehende Lücken im Verifikationsprozess beim Einsatz von Open-Source-EDA-Werkzeugen im Chipdesign. Dabei werden drei Ansätze verfolgt: funktionale Verifikation, Bewertung nicht-funktionaler Eigenschaften durch Simulation sowie die Integration formaler Verifikationswerkzeuge.
Innovationen und Perspektiven
Die Entwicklung einer vollständigen Open-Source-Werkzeugkette zur Verifikation von Chipdesigns macht teure proprietäre Verifikationswerkzeuge entbehrlich. Dies kommt sowohl der Ausbildung im Chipdesign als auch der industriellen Produktentwicklung zugute und beschleunigt Innovationszyklen.
Verbundkoordinator
- Hochschule für angewandte Wissenschaften München
Verbundpartner
- PlanV GmbH, München
- Technische Universität Darmstadt
- Technische Universität München
- Universität zu Lübeck
Dieses Projekt wird vom Bundesministerium für Forschung, Technologie und Raumfahrt (BMFTR) im Rahmen der Designinitiative Mikroelektronik gefördert.
