Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1991, 1991
|
| Edition: | 1st ed. 1991 |
| Series: | Leitfäden und Monographien der Informatik
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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