Systematischer Entwurf digitaler Systeme. Von der System- zur Gatter- Ebene. ( Leitfäden und Monographien der Informatik) .: Von der System- bis zur Gatter-Ebene - Softcover

Rammig, Franz J.

Softcover

ISBN 10: 3519022656 ISBN 13: 9783519022657

Verlag: Teubner Stuttgart., 1989

Inhaltsangabe

Dieses Buch versucht, eine durchgängige Systematik des Hardwareent wurfs über verschiedene Abstraktionsebenen hinweg darzustellen. Da bei wird von einem abstrakten Modell des Entwurfsvorgangs als über mehrere Abstraktionsebenen reichender rückgekoppelter Prozeß aus gegangen. Auf der Basis dieses Modells werden verschiedene Klas sen von Entwurfsaktivitäten identifiziert. Es sind dies: Modellierung, Modifikation/Optimierung, Implementation und Verifikation. Die ver schiedenen Abstraktionsebenen (Systemebene, algorithmische Ebene, Registertransfer-Ebene, Gatterebene, Schalterebene/ Ebene des sym bolischen Layouts, elektrische/Layout-Ebene) werden in verschiedenen Sichten (Verhalten, Struktur, Geometrie, Test) charakterisiert. Dient das erste Kapitel dazu, eine allgemeine Systematik des Hardwareent wurfs zu entwickeln, so werden in den weiteren Kapiteln verschiedene Entwurfsaktivitäten beispielhaft diskutiert. Das Kapitel 2 ist den verschiedene Methoden der Hardwaremodellie rung gewidmet. Nach einem allgemeinen Überblick wird darin exempla risch die Breitband-Hardwarebeschreibungssprache DACAPO detail lierter eingeführt. Dies erlaubt, über verschiedene Aspekte des Hard wareentwurfs in einheitlicher Terminologie zu sprechen, und zwar nicht nur über Hardwarebeschreibungen auf unterschiedlichen Abstraktions ebenen, sondern auch über verschiedene Algorithmen des Entwurfs prozesses. Im Kapitel 3 (Implementierungsaktivitäten) wird mit besonderem Au genmerk der Ubergang von der algorithmischen auf die Registertrans ferebene behandelt. Aber auch verschiedene Methoden des Steuerwerks entwurfs und der Übergang auf die Gatterebene finden Berücksichti gung. Ein ausführliches Entwurfsbeispiel soll zur Illustration dienen. Optimierungsverfahren (Kapitel 4) werden hauptsächlich auf der Regi stertransferebene, aber auch auf der algorithmischen und Gatterebene diskutiert. Auch hier wird ein Beispiel exemplarisch durchgeführt. Das Kapitel 5 ist der Verifikation/Evaluation/Validierung gewidmet.

Details zur Ausgabe

• Verlag: Teubner Stuttgart.
• Erscheinungsdatum: 1989
• Sprache: Deutsch
• ISBN 10: 3519022656
• ISBN 13: 9783519022657
• Einband: Taschenbuch
• Anzahl der Seiten: 360
• Kontakt zum Hersteller: Springer-Verlag GmbH; customerservice@springernature.com; ; Tiergartenstraße 17; Heidelberg; Baden-Württemberg; 69121; Deutschland