Logo des Repositoriums
 
Konferenzbeitrag

Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2005

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Große, Daniel; Kühne, Ulrich; Drechsler, Rolf (2005): Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors. Informatk 2005. Informatik Live! Band 1. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-396-2. pp. 308-312. Regular Research Papers. Bonn. 19.-22. September 2005

Schlagwörter

Zitierform

DOI

Tags