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.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.identifier.isbn	3-88579-396-2
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/28048
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
gi.citation.endPage	312
gi.citation.publisherPlace	Bonn
gi.citation.startPage	308
gi.conference.date	19.-22. September 2005
gi.conference.location	Bonn
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1