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

Rammig, Franz J.

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

Synopsis

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.

"synopsis" may belong to another edition of this title.