• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
Warenkorb ansehen
Katalog : Details

Joakim Urdahl

Path Predicate Abstraction

for Sound System-Level Modeling of Digital Circuits

VorderseiteRückseite
 
ISBN:978-3-8440-4233-7
Reihe:Elektronik
Schlagwörter:Abstraction; Refinement; Hardware; Circuits; SoC; ESL; AML
Publikationsart:Dissertation
Sprache:Englisch
Seiten:142 Seiten
Abbildungen:21 Abbildungen
Gewicht:209 g
Format:21 x 14,8 cm
Bindung:Paperback
Preis:45,80 € / 57,20 SFr
Erscheinungsdatum:Februar 2016
Kaufen:
  » zzgl. Versandkosten
Download:

Verfügbare Online-Dokumente zu diesem Titel:

Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien.

Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.

 
 DokumentGesamtdokument 
 DateiartPDF 
 Kosten11,45 EUR 
 AktionZahlungspflichtig kaufen und anzeigen der Datei - 1,0 MB (1049806 Byte) 
 AktionZahlungspflichtig kaufen und download der Datei - 1,0 MB (1049806 Byte) 
     
 
 DokumentInhaltsverzeichnis 
 DateiartPDF 
 Kostenfrei 
 AktionAnzeigen der Datei - 62 kB (63971 Byte) 
 AktionDownload der Datei - 62 kB (63971 Byte) 
     

Benutzereinstellungen für registrierte Online-Kunden

Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.

Benutzer:  Nicht angemeldet
Aktionen:  Anmelden/Registrieren
 Passwort vergessen?
Weiterempfehlung:Sie möchten diesen Titel weiterempfehlen?
RezensionsexemplarHier können Sie ein Rezensionsexemplar bestellen.
VerlinkenSie möchten diese Seite verlinken? Hier klicken.
ZusammenfassungPath Predicate Abstraction (PPA) is a formalism suitable for describing the abstraction/refinement relationship between highly abstract models at an Electronic System Level (ESL) and their implementations at the Register Transfer Level (RTL). In such a relationship the properties of the ESL model translate, without further proof, to corresponding properties of the RTL implementation, i.e., the ESL model is sound with respect to the implementation. Thus, verification results obtained based on the much simpler ESL model can be trusted as valid also for the RTL implementation. If the creation of such sound ESL models can be made efficient in practice then the costs for the verification of digital systems can be drastically reduced.

This dissertation contributes the theoretical framework of PPA as well as approaches for applying PPA efficiently in practice, both "bottom up" to create sound abstractions for already existing RTL implementations and as an integrated part of a "top down" design flow. In both approaches the soundness of the abstraction is established by formal property checking. All involved properties are of a specific form facilitating SAT-based proof algorithms that scale well, as shown in experimental results, also for large industrial designs.