Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors

Zusammenfassung
In dieser Arbeit wird ein in SystemC modellierter Mikroprozessor inklusive seines Befehlssatzes vollständig formal verifiziert. Dadurch kann die korrekte Abarbeitung von Assemblerprogrammen auf dem Mikroprozessor sichergestellt werden. Durch die Verwendung eines SystemC Modells wird der kombinierte Hardware/Software Entwurfsprozess drastisch vereinfacht.
  • Vollständige Referenz
  • BibTeX
Große, D., Kühne, U. & Drechsler, R., (2005). Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors. In: Cremers, A. B., Manthey, R., Martini, P. & Steinhage, V. (Hrsg.), Informatk 2005. Informatik Live! Band 1. Bonn: Gesellschaft für Informatik e.V.. (S. 308-312).
@inproceedings{mci/Große2005,
author = {Große, Daniel AND Kühne, Ulrich AND Drechsler, Rolf},
title = {Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors},
booktitle = {Informatk 2005. Informatik Live! Band 1},
year = {2005},
editor = {Cremers, Armin B. AND Manthey, Rainer AND Martini, Peter AND Steinhage, Volker} ,
pages = { 308-312 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.67-69.pdf166.3Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-396-2
ISSN: 1617-5468
Datum: 2005
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige