Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

Auteurs

• Franz Josef Rammig

Paramètres

• Informatique, programmation

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 1989