Parametrisierte Spezifikation Von Schaltkreisen: Graphischer Entwurf Regulärer Strukturen 1998 Edition Contributor(s): Burch, Thomas (With) |
|
ISBN: 3519002396 ISBN-13: 9783519002390 Publisher: Vieweg+teubner Verlag OUR PRICE: $66.49 Product Type: Paperback Language: German Published: January 1998 |
Additional Information |
BISAC Categories: - Technology & Engineering | Engineering (general) |
Dewey: 620 |
Series: Teubner Texte Zur Informatik |
Physical Information: 0.49" H x 6.69" W x 9.61" (0.83 lbs) 228 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |