Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

Autori

• Franz Josef Rammig

Parametri

• Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Lingua: Tedesco

Pubblicato: 1989