Eveking | Verifikation digitaler Systeme | E-Book | sack.de
E-Book

E-Book, Deutsch, 308 Seiten, eBook

Reihe: Leitfäden und Monographien der Informatik

Eveking Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme
1991
ISBN: 978-3-322-94684-3
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Eine Einführung in den Entwurf korrekter digitaler Systeme

E-Book, Deutsch, 308 Seiten, eBook

Reihe: Leitfäden und Monographien der Informatik

ISBN: 978-3-322-94684-3
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Eveking Verifikation digitaler Systeme jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Eveking, Hans

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.