Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

Häftad, Tyska, 1991

Av Hans Eveking

669 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-10-01
Mått170 x 244 x 18 mm
Vikt562 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor308
Upplaga1991
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022497

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.

Mer från samma författare

VLSI-SOC: From Systems to Chips

Del 200

VLSI-SOC: From Systems to Chips

Manfred Glesner, Ricardo Reis, Leandro Indrusiak, Vincent Mooney, Hans Eveking

1 409 kr

VLSI-SOC: From Systems to Chips

Del 200

VLSI-SOC: From Systems to Chips

Manfred Glesner, Ricardo Reis, Leandro Indrusiak, Vincent Mooney, Hans Eveking

1 409 kr

Correct Hardware Design and Verification Methods

Del 987

Correct Hardware Design and Verification Methods

Paolo Enrico Camurati, Hans Eveking

709 kr

Du kanske också är intresserad av