Kontakt
Wie einkaufen
Versand
Kaufberater
Englisch
127 b
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
62.29
€
/
Broschur
73.59
€
/
Broschur
17.95
€
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.
Informationen zum Buch
Englisch
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
37.19
€
/
Hardcover
31.89
€
/
Broschur
15.39
€
/
Hardcover
20.19
€
/
Broschur
29.89
€
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?