Spezifikation, Verifikation und Synthese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen

In diesem Projekt werden global asynchrone, aber lokal synchrone Systeme (GALS), eine spezielle Art von Hardware-Schaltungen (GALS-Schaltungen) modelliert.
Hierzu wird ein Modell entwickelt, das Module mit ihrem Wrapper und insbesondere den Übergang zwischen Modul und Wrapper beschreibt. Als Modellierungsmethode erscheinen Petrinetze besonders geeignet, da synchrone Systeme durch sequentielle Abläufe und asynchrone Systeme durch verteilte Abläufe beschrieben werden können.