The VAMP Memory Unit

Name: The VAMP Memory Unit
Brand: VDM Verlag Dr. Müller
SKU: 9783639088793
Price: 17641 HUF
Availability: InStock

Hardware Design and Formal Verification

Szerző: Iakov Dalinger, Artem Alekhin

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 641 Ft

This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c...

Információk a könyvről

Szerző

Iakov Dalinger, Artem Alekhin

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2009

oldal

116

EAN

9783639088793

Enbook ID

06818007

Kiadó

VDM Verlag Dr. Müller

Súly

189

Méretek

150 x 220 x 7

Teljes leírás

This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§carried out in [Dal06]. The new design of the MU,§developed here, contains translation look-aside§buffers (TLB) for fast virtual address translation§inside the memory management units (MMU) and supports§accesses to external devices.§A computer-aided verification tool used throughout§the whole work is an interactive theorem prover§Isabelle/HOL bound [Tve05] with the NuSMV [CCG+02]§and SMV [McM99] model checkers. The results§(correctness proofs and models of hardware blocks)§are presented as Isabelle mathematical theories. The§work is described formally and paper-and-pencil§proofs are provided.

É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

The VAMP Memory Unit

Hardware Design and Formal Verification

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