Systematischer Entwurf digitaler Systeme

Inhaltsverzeichnis

• 1 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.