BMBF-Projekt: Herkules - Hardwareentwurfstechnik für Null-Fehler-Designs
Inhalt
Forschungs- und Entwicklungsarbeiten im Bereich:
- Prüfung auf Deadlock-Freiheit
- Verifikation parametrisierbarer Schaltungsbeschreibungen
- Integrationsverifikation
- Anwendungsanalyse Telekom-Protokolle
Ziele
Ziel des Projekts ist es, einen Großteil der bei der Verifikation der Kommunikationsstruktur von System-On-Chip (SoC) anfallenden Aufgaben formal durchzuführen, unter maximaler Nutzung der Ergebnisse der Projekte Valse- und Valse-XT höchste Qualität mit überlegener Produktivität zu koppeln und diese Qualität zu einem Produktvorteil zu machen.
Kooperationspartner
- Alcatel-Lucent Deutschland AG, Nürnberg (Unterauftraggeber)
Tags
Laufzeit
December 2006
November 2009
