Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

The VAMP Memory Unit

Hardware Design and Formal Verification

Language EnglishEnglish
Book Paperback
Book The VAMP Memory Unit Iakov Dalinger
Libristo code: 06818007
Publishers VDM Verlag Dr. Müller, November 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Full description
? points 121 b
49.90 €
Print on demand Shipping in 17-27 days

Up to 30 days for returns

Customers also purchased

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Book Paperback
common.buy 59.90 €
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Book Paperback
common.buy 49.90 €
Žlutá kniha pohádek / Book Paperback
common.buy 5.14 €
Antígona SOFOCLES / Book Paperback
common.buy 9.69 €
Alef-Thau 1 Arno / Book Paperback
common.buy 24.74 €
Dynamic Reconfiguration Jerry Trahan / Book Hardback
common.buy 110.32 €
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Book Paperback
common.buy 70.31 €
hcm 68 la fin de l'esclavage / Book Paperback
common.buy 11.61 €
Factomule - Grand thriller politique international Øyvind TORSETER / Book Hardback
common.buy 30.00 €
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Book Paperback
common.buy 11.71 €
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Book Paperback
common.buy 71.02 €
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Book Paperback
common.buy 16.16 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name The VAMP Memory Unit
Author Iakov Dalinger, Artem Alekhin
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 116
EAN 9783639088793
Libristo code 06818007
Publishers VDM Verlag Dr. Müller
Weight 189
Dimensions 150 x 220 x 7
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Book Paperback
common.buy 59.90 €
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Book Paperback
common.buy 14.74 €
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Book Paperback
common.buy 35.65 €
From The Beginning Duane Andry / Book Hardback
common.buy 39.80 €
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Book Hardback
common.buy 102.84 €
Top
Life Among the Savages Shirley Jackson / Book Paperback
common.buy 14.24 €
Top
My Best Games of Chess Alexander Alekhine / Book Paperback
common.buy 26.76 €
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Book Hardback
common.buy 30.70 €
Murder Most Blonde M. J. Hatch / Book Hardback
common.buy 33.13 €
Dead Girls Speak In Unison Danielle Pafunda / Book Paperback
common.buy 12.11 €
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Book Paperback
common.buy 12.11 €
Clifford Algebras and the Classical Groups Ian R. Porteous / Book Paperback
common.buy 89.61 €
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Book Paperback
common.buy 14.84 €
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Book Hardback
common.buy 19.19 €
Al Capone JUST FOR LAUGHS John L D Barnett / Book Paperback
common.buy 16.76 €
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Book Paperback
common.buy 9.39 €
The Cutty Sark, The Last Of The Famous Tea Clippers V2: Describing The Masts, Spars And Rigging Of A Scale Model, And Including The Builder's Specific C. Nepean Longridge / Book Paperback
common.buy 28.78 €
Grimm's Fairy Tales Wilhelm Grimm / Book Hardback
common.buy 13.02 €
Top
Pucking Wild Emily Rath / Book Paperback
common.buy 9.69 €
Pride and Prejudice Tote Bag / Stationery items Stationery items
common.buy 17.17 €
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Book Paperback
common.buy 10.60 €
Leaders and International Conflict Giacomo Chiozza / Book Paperback
common.buy 48.08 €
Anthropologies Beth Alvarado / Book Paperback
common.buy 18.07 €
Coming soon
Chattahoochee Album Fred C. Fussell / Book Paperback
common.buy 30.10 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?