The VAMP Memory Unit, Fachbücher von Iakov Dalinger, Artem Alekhin
Die VAMP Memory Unit ist ein Fachbuch, das sich mit der formalen Verifikation der VAMP-Speichereinheit (MU) beschäftigt. Basi... Mehr erfahren
Finde die besten Angebote
Bester Preis24 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Die VAMP Memory Unit ist ein Fachbuch, das sich mit der formalen Verifikation der VAMP-Speichereinheit (MU) beschäftigt. Basierend auf früheren Arbeiten bietet dieses Werk eine detaillierte Analyse des neuen Designs der MU, das Übersetzungspuffer (TLB) für eine schnelle virtuelle Adressübersetzung innerhalb der Speicherverwaltungseinheiten (MMU) integriert. Darüber hinaus unterstützt die MU den Zugriff auf externe Geräte, was ihre Funktionalität erweitert. Die Verifikation erfolgt mithilfe eines computerunterstützten Werkzeugs, dem interaktiven Theorembeweiser Isabelle/HOL, in Verbindung mit den Modellprüfern NuSMV und SMV. Die Ergebnisse, einschliesslich Korrektheitsnachweisen und Modellen von Hardwareblöcken, werden als mathematische Theorien in Isabelle präsentiert. Das Buch bietet eine formale Beschreibung der Arbeit und enthält sowohl theoretische als auch praktische Beweise.
Informationen
Lieferzeit:2-4 Werktage
Marke:VDM