TY  - THES
A3  - Kastens, Uwe
A3  - Rückert, Ulrich
AB  - In vielen Bereichen werden Spezialanwendungen mit hohen Ansprüchen an die Hardware entwickelt. Dabei ist es sinnvoll, neben der Software- und Compileroptimierung auch die Prozessoren zu optimieren. Dabei können unterschiedliche Zielgrößen wie Stromverbrauch, Geschwindigkeit, Parallelität, Echtzeit, Kostensenkung u.s.w. verfolgt werden.Diese Arbeit trägt dazu bei, die Entwickler bei dem Entwurf von Prozessoren zu unterstützen. Das für diesen Zweck entwickelte Werkzeugsystem enthält die visuelle domänenspezifische Sprache ViCE-UPSLA für die Beschreibung von Prozessoren. Die visuelle Sprache zeichnet sich dadurch aus, dass die typischen und bereits bekannten Begriffe und Symbole aus der Domäne der Prozessorentwicklung verwendet werden.Mittels integrierter Generatoren im Werkzeugsystem können wahlweise zyklengenaue Mikroarchitektur- oder Instruktionssatzsimulatoren aus einer Spezifikation vollständig generiert werden.Ein weiterer Schwerpunkt dieser Arbeit liegt in der Validierung der Entwürfe. Hierzu wurden anhand eines erarbeiteten Fehlermodells statische und dynamische Validierungsmethoden entwickelt und im Werkzeugsystem umgesetzt. Die dynamischen Validierungsmethoden greifen die Konzepte aus dem modellbasierten Testen auf, indem aus der Prozessorspezifikation Testfälle für die dynamische Validierung automatisch generiert werden. Für Entwurf und Bearbeitung der Testfälle wurde eine visuelle Spezifikationssprache entwickelt.Die Eignung der Sprache und die Effektivität bei der Simulation von Prozessoren wurden in dieser Arbeit nachgewiesen, indem verschiedene Spezifikationen für die Instruktionssätze des ARM und CoreVA Prozessors erzeugt wurden.
AU  - Klassen, Dennis
DA  - 2013
DP  - Universität Paderborn
LA  - ger
N1  - Tag der Verteidigung: 01.07.2013
N1  - Paderborn, Univ., Diss., 2013
PB  - Veröffentlichungen der Universität
PY  - 2013
T2  - Institut für Informatik
TI  - Spezifikation, Simulation und Validierung von Prozessoren
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-11816
Y2  - 2026-01-19T12:09:55
ER  -