Klassen, Dennis: Spezifikation, Simulation und Validierung von Prozessoren. 2013
Content
- Einleitung
- Grundlagen
- Prozessorentwurf
- Prozessorarchitektur
- Prozessorarchitekturen
- Prozessorsimulator
- Prozessorvalidierung
- Verwandte Arbeiten
- ViCE-UPSLA
- Vorstellung der Domäne des Prozessorentwurfs
- Anforderungen an das Werkzeugsystem
- Sprachkonzept
- Prozessorvalidierung
- Aufgaben der Validierung
- Fehlermodell
- Konflikte und Inkonsistenzen
- Registersatzkonflikte
- Adressierungsmethoden- und Instruktionsformatkonflikte
- Instruktionssatzkonflikte
- Pipelinekonflikte
- Validierungsmethoden
- Statische Analyse
- Kodierung von Mengen
- Verwendungsnachweis
- Grapheinbettung
- Kontrollflussanalyse
- Validierung der Mehrdeutigkeit
- Datentypen
- Anwendungsszenarios der statischen Methoden
- Dynamische Validierung
- Konzepte und Methoden
- Registererreichbarkeit
- Register - Aliasing
- Adressierung
- Instruktionssemantik
- Pipelinekonflikte
- Zusätzliches Wissen
- Modellierung des zusätzlichen Wissens
- Klassifikation des zusätzlichen Wissens
- Explizites Wissen
- Implizites Wissen
- Testfallspezifikation
- Generatoren
- Evaluierung
- Ziele der Evaluierung
- Spezifikation von Prozessoren
- Evaluierung der Sprache ViCE-UPSLA
- Evaluierung der Validierungsmethoden
- Bewertung der Vorgehensweise bei der Validierung
- Effektivität der Validierungsmethoden
- Zusammenfassung und Ergebnisse der Evaluierung von Validierungsmethoden
- Evaluierung der Simulation
- Resümee
- Abbildungsverzeichnis