Verifikation digitaler Systeme

Inhaltsverzeichnis

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