Register-Transfer-Abläufe auf Netzen

Ausgehend von einer funktionalen Beschreibung des Entwurfsziels wird ein deterministisches Entwurfsverfahren für digitale Systeme beschrieben. Die Algorithmen, die dafür entwickelt werden, garantieren funktionale Korrektheit und die Einhaltung wünschenswerter Systemeigenschaften, wie im einzelnen gezeigt wird. Dadurch erübrigen sich zusätzliche Verifikationsschritte wie zum Beispiel Simulationen. Die Entwurfsmethodik basiert auf der Darstellung digitaler Systeme durch PETRI-Netze und bezieht sich im wesentlichen auf die Register-Transfer-Ebene, doch ist das Verfahren auf andere Modellierungsebenen erweiterbar. Die digitalen Systeme, die sich aus dem Entwurf ergeben, sind durch regelmäßigen Aufbau und Modularität gekennzeichnet.