Mohlo by se vám také líbit

Více informací o knize The VAMP Memory Unit

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 121 bodů

Anotace knihy

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.

Parametry knihy

• Plný název: The VAMP Memory Unit
• Podnázev: Hardware Design and Formal Verification
• Autor: Iakov Dalinger, Artem Alekhin
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 116
• EAN: 9783639088793
• ID: 06818007
• Nakladatelství: VDM Verlag Dr. Müller
• Hmotnost: 189 g
• Rozměry: 220 × 150 × 7 mm
• Rok vydání: 2009

Oblíbené z jiného soudku

---

---

---