The VAMP Memory Unit

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

Hardware Design and Formal Verification

Autor: Iakov Dalinger, Artem Alekhin

Język:

Oprawa: Miękka

Wydawca: VDM Verlag Dr. Müller

Dostępność: Na zamówienie

Wysyłamy za 17-27 dni

205.23 zł

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

Informacje o książce

Autor

Iakov Dalinger, Artem Alekhin

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2009

strony

116

EAN

9783639088793

Enbook ID

06818007

Wydawca

VDM Verlag Dr. Müller

Waga

189

Wymiary

150 x 220 x 7

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

The VAMP Memory Unit

Hardware Design and Formal Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również