Loading component...

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

Häftad, Tyska, 1991

639 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

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

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

Inbunden

1 369 kr

VLSI-SOC: From Systems to Chips

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

Häftad

1 369 kr

Correct Hardware Design and Verification Methods

Paolo Enrico Camurati, Hans Eveking

Häftad

689 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Häftad

1 029 kr

Theoretische Informatik

Ingo Wegener

Häftad

639 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad

639 kr

Algorithmen in der Computergraphik

Häftad

899 kr

Datenflußrechner

Theo Ungerer

Häftad

639 kr

Graphen und Algorithmen

Häftad

639 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad

839 kr

Parsing

Fritz Hohagen

Häftad

709 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad

1 029 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad

639 kr

Du kanske också är intresserad av

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad

639 kr

Datenstrukturen und effiziente Algorithmen

Häftad

1 029 kr

Parallelrechnerstrukturen

Häftad

579 kr

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad

579 kr

Mathematik für Informatiker

Friedrich Schwarz

Häftad

709 kr

Prinzipien und Realisierung von Betriebssystemen

Häftad

639 kr

Mathematik für Informatiker 1

Karl-Heinz Kiyek, Friedrich Schwarz

Häftad

639 kr

Stochastische Modelle in der Informatik

Georg Ch. Pflug, Georg Ch Pflug

Häftad

639 kr

Leistungsbewertung von Rechensystemen

Häftad

639 kr

Analyse von Petri-Netz-Modellen

Häftad

579 kr