Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Systematischer Entwurf digitaler Systeme
  • Produktbild: Systematischer Entwurf digitaler Systeme

Systematischer Entwurf digitaler Systeme Von der System- bis zur Gatter-Ebene

Aus der Reihe Leitfäden und Monographien der Informatik

Fr. 68.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.02.1989

Abbildungen

mit 74 Abbildungen

Verlag

Vieweg & Teubner

Seitenzahl

357

Maße (L/B/H)

24.4/17/2 cm

Gewicht

621 g

Auflage

1989

Sprache

Deutsch

ISBN

978-3-519-02265-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.02.1989

Abbildungen

mit 74 Abbildungen

Verlag

Vieweg & Teubner

Seitenzahl

357

Maße (L/B/H)

24.4/17/2 cm

Gewicht

621 g

Auflage

1989

Sprache

Deutsch

ISBN

978-3-519-02265-7

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Systematischer Entwurf digitaler Systeme
  • Produktbild: Systematischer Entwurf digitaler Systeme
  • 1 Entwurfsprozess.- 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.1.1 Objektorientierte Modellierung.- 2.1.2 Imperative Sicht.- 2.1.2.1 Zeitbehaftete Interpretierte Petri-Netze.- 2.1.2.2 Communicating Sequential Processes (CSP).- 2.1.3 Reaktive Sicht.- 2.1.4 Stimulierte Gleichungen.- 2.1.5 Modellierungskonzepte und Abstraktionsebenen.- 2.2 Sprachkonzepte.- 2.2.1 Dedizierte Sprachen.- 2.2.1.1 Dedizierte Sprachen für die Systemebene.- 2.2.1.2 Dedizierte Sprachen für die algorithmische Ebene.- 2.2.1.3 Dedizierte Sprachen für die Registertransferebene.- 2.2.1.4 Dedizierte Sprachen für die Gatterebene.- 2.2.1.5 Dedizierte Sprachen für die Schalterebene/Symbolisches Layout.- 2.2.1.6 Dedizierte Sprachen für die Elektrische/Layout-Ebene.- 2.2.2 Sprachfamilien.- 2.2.3 Breitbandsprachen.- 2.3 Die Hardwarebeschreibungssprache DACAPO III.- 2.3.1 DACAPO III Grundlagen.- 2.3.2 Beschreibungen in DACAPO III auf der algorithmischen Ebene.- 2.3.3 Beschreibungen in DACAPO III auf der Systemebene.- 2.3.4 Beschreibungen in DACAPO III auf der Registertransferebene.- 2.3.5 Beschreibungen in DACAPO III auf der Gatter/Schalterebene.- 2.3.6 „Behavioral“-Beschreibungen in DACAPO III.- 2.4 Literatur.- 3 Implementationsaktivitäten.- 3.1 Systemebene zur algorithmischen Ebene.- 3.2 Algorithmische Ebene zur Registertransferebene.- 3.2.1 Monolithische Dekomposition.- 3.2.1.1 Ein vollständiges Beispiel zur monolithischen Dekomposition.- 3.2.2 Parallele Dekomposition.- 3.2.3 Hierarchische Steuerwerksdekomposition.- 3.3 Registertransferebene zur Gatterebene.- 3.3.1 Steuerwerksentwurf.- 3.3.1.1 Fest verdrahtete Implementierung von Steuerwerken.- 3.3.1.1.1 Implementierung in krauser Logik.- 3.3.1.1.2 Implementation durch Array-Logik.- 3.3.1.2 Mikroprogrammierte Steuerwerksimplementation.- 3.3.2 Datenpfadentwurf.- 3.4 Literatur.- 4 Optimierungsaktivitäten.- 4.1 Optimierung auf der Systemebene.- 4.2 Optimierung auf algorithmischer Ebene.- 4.2.1 Optimierung von Basisblöcken.- 4.2.2 Optimierung von Schleifen.- 4.3 Optimierung auf der Registertransferebene.- 4.3.1 Eine Heuristik zur Zustandsminimierung von Steuerwerken.- 4.3.1.1 Beispiel einer Optimierung auf RT-Ebene.- 4.4 Optimierung auf der Gatterebene.- 4.5 Literatur.- 5 Evaluierung, Validierung, Verifikation.- 5.1 Formale Verifikation.- 5.1.1 Formale Verifikation von Verhaltenseigenschaften.- 5.1.2 Verifikation des Zeitverhaltens getakteter Systeme.- 5.2 Simulation.- 5.2.1 Generierung ausführbarer Objektmodelle und deren Ausführung.- 5.2.1.1 Interne Modellierungskonzepte.- 5.2.1.1.1 Abbildung Algorithmischer Konstrukte von DACAPO III.- 5.2.1.1.2 Abbildung von DACAPO III-Konstrukten der Systemebene.- 5.2.1.1.3 Abbildung von DACAPO-Konstrukten auf Registertransferebene.- 5.2.1.1.4 Abbildung von DACAPO-Konstrukten auf Gatter/Schalterebene.- 5.2.1.2 Simulationstechniken.- 5.2.1.2.1 Streamline Code Simulation (SCS).- 5.2.1.2.2 Äquitemporale Iteration (EI).- 5.2.1.2.3 Critical Event Scheduling (CES).- 5.2.2 Simulationsszenarios.- 5.2.2.1 Modellierung der Umgebung.- 5.2.2.2 Ergebnisanalyse.- 5.2.3 Mehrebenensimulation.- 5.2.3.1 Multisimulatoransatz.- 5.2.3.1.1 Datenaustausch.- 5.2.3.1.2 Synchronisation.- 5.2.3.1.3 Benutzerschnittstelle.- 5.2.3.2 Breitbandsimulatoren.- 5.3 Literatur.- 6. Testmethoden.- 6.1 Begriffsbestimmungen.- 6.2 Strukturorientierte Testverfahren.- 6.2.1 Fehlermodelle.- 6.2.2 Testmustererzeugung für das Haftfehlermodell.- 6.2.3 Fehlersimulation.- 6.2.3.1 Fehlersimulation mit dem SCS-Algorithmus.- 6.2.3.2 Fehlersimulation mit dem CES-Algorithmus.- 6.2.3.2.1 Parallele Fehlersimulation.- 6.2.3.2.2 Deduktive und Concurrent-Fehlersimulation.- 6.3 Funktionsorientierte Testverfahren.- 6.4 Testfreundlicher Entwurf.- 6.4.1 Strukturelle Massnahmen zur Erhöhung der Testbarkeit.- 6.4.2 Selbsttest.- 6.5 Literatur.