Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors

Daniel Große; Ulrich Kühne; Rolf Drechsler

Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors

Translated title of the contribution: Formal verification of the instruction set of a microprocessor modeled in systemC

Daniel Große
, Ulrich Kühne
, Rolf Drechsler

University of Bremen

Research output: Contribution to journal › Conference article › peer-review

Translated title of the contribution	Formal verification of the instruction set of a microprocessor modeled in systemC
Original language	German
Pages (from-to)	308-312
Number of pages	5
Journal	Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
Volume	P-67
Publication status	Published - 1 Jan 2005
Externally published	Yes
Event	35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 2005 - Bonn, Germany Duration: 19 Sept 2005 → 22 Sept 2005

Cite this

@article{19f5e4f9c9aa425f898e3620d2d8a293,

title = "Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors",

author = "Daniel Gro{\ss}e and Ulrich K{\"u}hne and Rolf Drechsler",

year = "2005",

month = jan,

day = "1",

language = "German",

volume = "P-67",

pages = "308--312",

journal = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",

issn = "1617-5468",

note = "35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 2005 ; Conference date: 19-09-2005 Through 22-09-2005",

}

TY - JOUR

T1 - Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors

AU - Große, Daniel

AU - Kühne, Ulrich

AU - Drechsler, Rolf

PY - 2005/1/1

Y1 - 2005/1/1

M3 - Conference article

AN - SCOPUS:85185814080

SN - 1617-5468

VL - P-67

SP - 308

EP - 312

JO - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

JF - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

T2 - 35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 2005

Y2 - 19 September 2005 through 22 September 2005

ER -