The VAMP Memory Unit

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

Hardware Design and Formal Verification

Autor: Iakov Dalinger, Artem Alekhin

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag Dr. Müller

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

48.37 €

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

Informácie o knihe

Autor

Iakov Dalinger, Artem Alekhin

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2009

Stránok

116

EAN

9783639088793

Enbook ID

06818007

Vydavateľ

VDM Verlag Dr. Müller

Hmotnosť

189

Rozmery

150 x 220 x 7

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

The VAMP Memory Unit

Hardware Design and Formal Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež