Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
The VAMP Memory Unit
Английски език
132 b
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
119.38
лв
/
С меки корици
182.97
лв
/
С меки корици
254.75
лв
/
С меки корици
123.93
лв
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.
Информация за книгата
Английски език
