Parametrisierte Spezifikation von Schaltkreisen

Im vorliegenden Buch wird, basierend auf meiner Dissertation, die Kon zeption und Implementierung einer graphischen Arbeitsumgebung fUr das VLSI-Entwurfssystem CADIC beschrieben, welches im Rahmen des Sonder
forschungsbereiches 124 im Teilprojekt B1 an der Universit?t des Saarlandes entwickelt wurde. Gegenuber anderen Entwurfssystemen zeichnet es sich durch eine besonders flexible Beschreibungsebene aus, die auf einem
wohldefinier ten mathematischen Kalkiil basiert. Diese gew?hlte Grundlage erweist sich als m?chtiges Werkzeug zur Beschreibung ganzer Klassen von Schaltkreisen durch eine feste Zahl von graphischen Eingaben. Die
Spezifikationsebene erlaubt so wohl eine Parametrisierung von Schaltungen in Abh?ngigkeit von beispielswei se der Operandengrof3e als auch eine generische und damit wiederverwendbare Beschreibung von Berechnungsnetzen. Aus
einer derart definierten Schaltungsklasse wahlt der Entwerfer dann einen Vertreter fUr die weiteren Konstruktionsschritte aus, indem er die formalen Parameter des Entwurfs durch konkrete Werte ersetzt. Durch die Integration
der Entwurfswerkzeuge in eine gemeinsame graphische Umgebung konnen die berechneten Ergebnisse direkt auf der mathematisch basierten Spezifikation visualisiert werden. Dies stellt dem Entwerfer verbunden mit einer interakti
ven Navigation durch die Schaltungshierarchie eine komfortable Methode zur Lokalisierung von kritischen Entwurfsstellen zur VerfUgung.