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

• Formale Verifikation
• FVC
• Null-Fehler-Design

Laufzeit

December 2006

November 2009

Ansprechpartner

• Prof. Dr. Ulrich Heinkel

Weblinks

• http://www.edacentrum.de/herkules/