Path predicate abstraction : for sound system-level modeling of digital circuits

Path predicate abstraction for sound system-level modeling of digital circuits

Dissertation, Technische Universität Kaiserslautern, 2015

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Urdahl, Joakim (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Aachen Shaker Verlag 2016
Schriftenreihe:Berichte aus der Elektronik
Schlagworte:
Hochschulschrift > Digitalschaltung > Entwurfsautomation > Register-Transfer-Ebene > Funktionalität > Verifikation > Formale Methode > Verfeinerung > Model Checking > Abstraktionsebene > AML
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Dissertation, Technische Universität Kaiserslautern, 2015
Beschreibung:Literaturverzeichnis: Seite 105-109
Beschreibung:v, 131 Seiten
Diagramme
21 cm, 209 g
ISBN:3844042334
3-8440-4233-4
9783844042337
978-3-8440-4233-7