Artículo: AMZ-3639088794

The VAMP Memory Unit: Hardware Design and Formal Verification

Format:

Paperback

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.30 kg
Devolución
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • 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.
$149,69
44% OFF
$83,16

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$149,69
44% OFF
$83,16

20% OFF adicional al pagar con Deuna

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en