Forschung

Aktuelles Arbeitsgebiet ist der Entwurf und die Verifikation von Eingebetteten Systemen und Systems-on-Chip (SoC). Eine der wesentlichen Herausforderungen besteht darin, die immer höheren Qualitätsanforderungen für Systems-on-Chip („Null-Fehler-Design“) mit der wirtschaftlichen Notwendigkeit ständig wachsender Entwurfsproduktivität zu vereinbaren. Der Lehrstuhl verfolgt neue Ansätze zur Spezifikation und Verifikation von Hardware und low-level-Software für den SoC-Entwurf. Ziel der Methodik ist es, „correctness by integration“ zu garantieren. Gemeinsam mit industriellen Partnern wird eine Methodik für Entwurf und Verifikation entwickelt, die getrennt die funktionale Korrektheit einzelner SoC-Module („correctness of computation“) sowie der SoC-Kommunikationsstrukturen („correctness of communication“) überprüft. Gleichzeitig werden Ansätze verfolgt, die sich die Fortschritte formaler Verifikationsmethoden zunutze machen, um zu verbesserten Abstraktionen der SoC-Hardware und low-level-Software zu gelangen. Unter gewissen Voraussetzungen garantieren die neuen Abstraktionen nämlich die Korrektheit der darunterliegenden Implementierungen („sound abstractions“).

Aktuelle Forschungsthemen sind:
  • Verifikation von Prozessoren
  • Methodik für Entwurf und Verifikation von „Weakly Programmable IPs“
  • Anwendungen der Computeralgebra im Bereich Datenpfadverifikation
  • Modellierung und Verifikation von System-on-Chip Kommunikationsstrukturen
  • Modellierung und Verifikation von Hardwarenaher Software
  • SystemC-basierte Entwurfsmethodik für Eingebettete Systeme