The VAMP Memory Unit

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

Hardware Design and Formal Verification

Автор: Iakov Dalinger, Artem Alekhin

Език:

Корици: С меки корици

Издател: VDM Verlag Dr. Müller

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

51.03 € 99.81 лв

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

Информация за книгата

Автор

Iakov Dalinger, Artem Alekhin

Език

Английски език

Корици

Книга - С меки корици

Издадена

2009

страници

116

EAN

9783639088793

Enbook ID

06818007

Издател

VDM Verlag Dr. Müller

Теглоt

189

Размери

150 x 220 x 7

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

The VAMP Memory Unit

Hardware Design and Formal Verification

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също