Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors

Abstract
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.
  • Citation
  • 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 View/Open

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

More Info

ISBN: 3-88579-396-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2005
Language: de (de)
Content Type: Text/Conference Paper
Collections

Show full item record