Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

Autor*innen

• Franz Josef Rammig

Parameter

• Informatik & Programmierung

Mehr zum Buch

Inhaltsverzeichnis1 Entwurfsprozeß.1.1 Makroskopisches Modell des Entwurfsprozesses.1.2 Abstraktionsebenen.1.3 Mikroskopisches Modell des Entwurfsprozesses.1.4 Literatur.2 Modellierungskonzepte und Entwurfssprachen.2.1 Modellierungskonzepte.2.2 Sprachkonzepte.2.3 Die Hardwarebeschreibungssprache DACAPO III.2.4 Literatur.3 Implementationsaktivitäten.3.1 Systemebene zur algorithmischen Ebene.3.2 Algorithmische Ebene zur Registertransferebene.3.3 Registertransferebene zur Gatterebene.3.4 Literatur.4 Optimierungsaktivitäten.4.1 Optimierung auf der Systemebene.4.2 Optimierung auf algorithmischer Ebene.4.3 Optimierung auf der Registertransferebene.4.4 Optimierung auf der Gatterebene.4.5 Literatur.5 Evaluierung, Validierung, Verifikation.5.1 Formale Verifikation.5.2 Simulation.5.3 Literatur.6. Testmethoden.6.1 Begriffsbestimmungen.6.2 Strukturorientierte Testverfahren.6.3 Funktionsorientierte Testverfahren.6.4 Testfreundlicher Entwurf.6.5 Literatur.

• Sprache: Deutsch
• Erscheinungsdatum: 1989