Connexion
Idée - Hardwareverifikation
Skalierbare Verifizierung der Speicherkonsistenz in Hardware
QED basiert auf der Beobachtbarkeit, dass eine Hardwareumordnung nur dann relevant ist, wenn ein verbotener Wert erzeugt wird. QED betrachtet nur direkt geordnete Befehlspaare und externe Ereignisse, die als Platzhalter für Befehle in anderen Kernen dienen, um Skalierbarkeit in Bezug auf die Anzahl der in Bearbeitung befindlichen Speicherbefehle und der Kerne zu erreichen.
Eine skalierbare formale Verifikationsmethodik für datenunabhängige Hardware
Eine skalierbare Methodik zur formalen Verifikation von Datenunabhängigkeit in Hardware.
Produits | Ressources
© 2024 by Linnk AI