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

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

University of Bremen

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Titre traduit de la contribution	Formal verification of the instruction set of a modeled microprocessor in SystemC
langue originale	Allemand
titre	INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)
Pages	308-312
Nombre de pages	5
état	Publié - 1 déc. 2005
Modification externe	Oui
Evénement	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, Allemagne Durée: 19 sept. 2005 → 22 sept. 2005

Série de publications

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

Une conférence

Une conférence	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
Pays/Territoire	Allemagne
La ville	Bonn
période	19/09/05 → 22/09/05

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Große, D., Kühne, U., & Drechsler, R. (2005). Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. Dans INFORMATIK 2005 - Informatik LIVE!, Beitrage der 35. Jahrestagung der Gesellschaft fur Informatik e.V. (GI) (p. 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. p. 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. Dans 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, p. 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, Allemagne, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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 -