Franz Josef Rammig Livres

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.