The VAMP Memory Unit

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

Hardware Design and Formal Verification

Autor: Iakov Dalinger, Artem Alekhin

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag Dr. Müller

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 173 Kč

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

Informace o knize

Autor

Iakov Dalinger, Artem Alekhin

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2009

Stránek

116

EAN

9783639088793

Enbook ID

06818007

Vydavatel

VDM Verlag Dr. Müller

Hmotnost

189

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

The VAMP Memory Unit

Hardware Design and Formal Verification

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také