Del i serien Leitfäden und Monographien der Informatik

Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

Häftad, Tyska, 1989

AvFranz J. Rammig

659 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-02-01
Mått170 x 244 x 20 mm
Vikt621 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor357
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022657

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.