Register-Transfer-Abläufe auf Netzen

Autori

• Hans Wojtkowiak

Parametri

• Libri di testo
• Libri di testo universitari
• Hochschulsammlung Naturwissenschaft : [...], Informatik

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Tedesco

Pubblicato: 1979