Vor Ort
Merkzettel Warenkorb
Produktbild: Verifikation digitaler Systeme

Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme

Aus der Reihe Leitfäden und Monographien der Informatik

51,90 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1991

Abbildungen

XII, 308 S. 1 Abb.

Verlag

Vieweg & Teubner

Seitenzahl

308

Maße (L/B/H)

24,4/17/1,8 cm

Gewicht

562 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-519-02249-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1991

Abbildungen

XII, 308 S. 1 Abb.

Verlag

Vieweg & Teubner

Seitenzahl

308

Maße (L/B/H)

24,4/17/1,8 cm

Gewicht

562 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-519-02249-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: Verifikation digitaler Systeme
  • I: Grundlagen.- 1 Entwurfskorrektheit.- 2 Begriff der Abstraktionsebene.- 3 Modellierung von Verhalten.- 4 Sprachen der Prädikatenlogik.- 5 Formale Systeme der Prädikatenlogik.- II: Elementare Verifikationstechniken für Hardwarebeschreibungen.- 6 Hardwarebeschreibungen.- 7 Logikverifikation.- 8 Statische Beschreibungen.- 9 Transitionale Beschreibungen.- 10 Kombiniert statisch/transitionale Beschreibungen.- 11 Beschreibungen mit Vielfach-Verzögerungen.- 12 Switch-Level Beschreibungen.- 13 Strukturbeschreibungen.- III: Entwurfsmethodik.- 14 Strukturierte Entwurfsmethoden.- 15 Erweiterungen von Beschreibungen.- 16 Interpretierbare Beschreibungen.- 17 Zeitliche Abstraktion.- 18 Äquivalenz von Beschreibungen.- 19 Verifikation von Teilen.- 20 Horizontale Verifikation.- 21 Timing-Verifikation.- 22 Struktur von Verifikations-Werkzeugen.- Anhang: Beschreibung eines Divisionswerks auf vier Abstraktionsebenen.