Formal Verification of a Processor with Memory Management Units
Hardware Design without Logical Bugs
(Sprache: Englisch)
In this book we present the formal verification of a memory management unit which operates under specific conditions. We also present the formal verificationof a complex processor VAMP with support of address translation by means of a memory management...
Leider schon ausverkauft
versandkostenfrei
Buch
49.00 €
24 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Formal Verification of a Processor with Memory Management Units “
Klappentext zu „Formal Verification of a Processor with Memory Management Units “
In this book we present the formal verification of a memory management unit which operates under specific conditions. We also present the formal verificationof a complex processor VAMP with support of address translation by means of a memory management unit. The VAMP is an out-of-order 32-bit RISC CPU with a DLX instruction set, fully IEEE-compliant floating point units, and a memory unit. The VAMP also supports precise internal and external interrupts. It is modeled on the gate level and verified with respect to its specification. The subject of this book is based on the formal proof of the VAMP without address translation [Bey05] and on paper and pencil specification, implementation, and correctness proof of a memory management unit [Hil05]. The results of this work yield a formally verified gate-level implementation of the VAMP with support of address translation, with interrupts, and a cache memory interface with split instruction and data caches.
Autoren-Porträt von Iakov Dalinger
Born in 1979. He received the MSc and PhD degrees in computer science from Saarland University (Germany), in 2002 and 2006, respectively. From 2006 to 2008, he was a director of Institute for Computer Science in Pacific National University (Russia). Now, he is deputy vice-president for science of Saint-Petersburg State University of Civil Aviation.
Bibliographische Angaben
- Autor: Iakov Dalinger
- 2008, 120 Seiten, Maße: 14,9 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3639001885
- ISBN-13: 9783639001884
- Erscheinungsdatum: 18.10.2013
Sprache:
Englisch
Kommentar zu "Formal Verification of a Processor with Memory Management Units"
0 Gebrauchte Artikel zu „Formal Verification of a Processor with Memory Management Units“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Verification of a Processor with Memory Management Units".
Kommentar verfassen