Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2005, Informatik LIVE! Band 1, Beiträge der 35 Jahrestagung der Gesellschaft für Informatik e.V. (GI), 19. bis 22. September 2005 in Bonn P-67, 308-312 (2005).


2005


Editors

Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (eds.)


Contents

Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors

D. Große , U. Kühne and R. Drechsler

Abstract


In dieser Arbeit wird ein in SystemC modellierter Mikroprozessor inklusive seines Befehlssatzes vollständig formal verifiziert. Dadurch kann die korrekte Ab- arbeitung von Assemblerprogrammen auf dem Mikroprozessor sichergestellt werden. Durch die Verwendung eines SystemC Modells wird der kombinierte Hardware/Software Entwurfsprozess drastisch vereinfacht.


Full Text: PDF

ISBN 3-88579-396-2


Last changed 24.01.2012 21:50:51