Navigation

Springe zum Hauptinhalt
Professur Schaltkreis- und Systementwurf
Projekt-Details

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

100% Complete

November 2009

Ansprechpartner

Weblinks

Presseartikel