Entwurfsstudie: „WM“

Zusammenfassung

In einem Vermittlungssystem werden Daten unterschiedlicher Länge dynamisch erzeugt und gelöscht. Teile dieser Verbindungsdaten sollen in einem einzigen Taktzyklus dereferenziert werden. Diese komplexe Funktion wird in sieben Entwurfsschritten zerlegt und verfeinert. Die Implementierung einer verketteten Liste mit „access types“ wird erläutert. Die verfeinerten Modelle werden durch den Vergleich mit einer einfachen Implementation verifiziert. Dazu werden beide Modelle mit pseudo-zufällig ausgewählten Kommandos und Daten simuliert. Die synchrone Verpackung der physikalischen RAM-Makros wird ausführlich dargestellt. Zum Abschluß des Kapitels wird der Hardware- mit dem Software-Entwurfsprozeß verglichen und ein gemeinsamer Codesign-Prozeß skizziert.