Header

Shop : Rezensionsexemplar

Shop
Rezensionsexemplar
45,80 €
ISBN 978-3-8440-4233-7
Paperback
142 Seiten
21 Abbildungen
209 g
21 x 14,8 cm
Englisch
Dissertation
Februar 2016
Joakim Urdahl
Path Predicate Abstraction
for Sound System-Level Modeling of Digital Circuits
Path 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.
Schlagwörter: Abstraction; Refinement; Hardware; Circuits; SoC; ESL; AML
Bitte senden Sie das Rezensionsexemplar an
Anschrift der Redaktion
Anschrift des Rezensenten
Mitteilung
Sicherheitscode
Datenschutzerklärung
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
  +49 2421 99011 9
Mo. - Do. 8:00 Uhr bis 16:00 Uhr
Fr. 8:00 Uhr bis 15:00 Uhr
Kontaktieren Sie uns. Wir helfen Ihnen gerne weiter.
Social Media