Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors

dc.contributor.author	Große, Daniel
dc.contributor.author	Kühne, Ulrich
dc.contributor.author	Drechsler, Rolf
dc.contributor.editor	Cremers, Armin B.
dc.contributor.editor	Manthey, Rainer
dc.contributor.editor	Martini, Peter
dc.contributor.editor	Steinhage, Volker
dc.date.accessioned	2019-10-11T07:41:18Z
dc.date.available	2019-10-11T07:41:18Z
dc.date.issued	2005
dc.identifier.isbn	3-88579-396-2
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/28048
dc.description.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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Informatk 2005. Informatik Live! Band 1
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-67
dc.title	Formale Verifikation des Befehlssatzes eines SystemC modellierten Mikroprozessors	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	308-312
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Bonn
mci.conference.date	19.-22. September 2005