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 modeled microprocessor in SystemC

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

University of Bremen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Translated title of the contribution	Formal verification of the instruction set of a modeled microprocessor in SystemC
Original language	German
Title of host publication	INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)
Pages	308-312
Number of pages	5
Publication status	Published - 1 Dec 2005
Externally published	Yes
Event	35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 200535th Annual Conference of the German Informatics Society (GI): Informatics LIVE!,INFORMATIK 2005 - Bonn, Germany Duration: 19 Sept 2005 → 22 Sept 2005

Publication series

Name	INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)
Volume	1

Conference

Conference	35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 200535th Annual Conference of the German Informatics Society (GI): Informatics LIVE!,INFORMATIK 2005
Country/Territory	Germany
City	Bonn
Period	19/09/05 → 22/09/05

Cite this

Große, D., Kühne, U., & Drechsler, R. (2005). Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. In INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI) (pp. 308-312). (INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI); Vol. 1).

Große, Daniel ; Kühne, Ulrich ; Drechsler, Rolf. / Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI). 2005. pp. 308-312 (INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)).

@inproceedings{647b133c600649229c4a5791f60dd070,

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 = dec,

day = "1",

language = "German",

isbn = "3885793962",

series = "INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)",

pages = "308--312",

booktitle = "INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)",

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

}

Große, D, Kühne, U & Drechsler, R 2005, Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. in INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI). INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI), vol. 1, pp. 308-312, 35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 200535th Annual Conference of the German Informatics Society (GI): Informatics LIVE!,INFORMATIK 2005, Bonn, Germany, 19/09/05.

Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. / Große, Daniel; Kühne, Ulrich; Drechsler, Rolf.
INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI). 2005. p. 308-312 (INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI); Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors

AU - Große, Daniel

AU - Kühne, Ulrich

AU - Drechsler, Rolf

PY - 2005/12/1

Y1 - 2005/12/1

UR - https://www.scopus.com/pages/publications/84877335509

M3 - Conference contribution

AN - SCOPUS:84877335509

SN - 3885793962

SN - 9783885793960

T3 - INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

SP - 308

EP - 312

BT - INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

T2 - 35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 200535th Annual Conference of the German Informatics Society (GI): Informatics LIVE!,INFORMATIK 2005

Y2 - 19 September 2005 through 22 September 2005

ER -

Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors

Publication series

Conference

Other files and links

Cite this