Formal Verification of a Processor with Memory Management Units

Name: Formal Verification of a Processor with Memory Management Units
Brand: VDM Verlag Dr. Müller
SKU: 9783639001884
Price: 17499 HUF
Availability: InStock

Hardware Design without Logical Bugs

Szerző: Iakov Dalinger

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag Dr. Müller

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-27 napon belül

17 499 Ft

In this book we present the formal verification of a memory management unit which operates under spe...

Információk a könyvről

Szerző

Iakov Dalinger

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

120

EAN

9783639001884

Enbook ID

06810366

Kiadó

VDM Verlag Dr. Müller

Súly

195

Méretek

149 x 7 x 15

Teljes leírás

In this book we present the formal verification of a memory management unit which operates under specific conditions. We also present the formal verification of 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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Verification of a Processor with Memory Management Units

Hardware Design without Logical Bugs

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták