The VAMP Memory Unit

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

Hardware Design and Formal Verification

Autor: Iakov Dalinger, Artem Alekhin

Limbă:

Legare: Carte broșată

Editura: VDM Verlag Dr. Müller

Disponibilitate: La editor doar la comandă

Expediem în 17-27 zile

254.63 lei

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

Informații despre carte

Autor

Iakov Dalinger, Artem Alekhin

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2009

Pagini

116

EAN

9783639088793

Enbook ID

06818007

Editura

VDM Verlag Dr. Müller

Greutate

189

Dimensiuni

150 x 220 x 7

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

The VAMP Memory Unit

Hardware Design and Formal Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și