Verifikation digitaler Systeme

InhaltsverzeichnisI: 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.