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: Contribution à un journal › Article de conférence › Revue par des pairs

Titre traduit de la contribution	Formal verification of the instruction set of a microprocessor modeled in systemC
langue originale	Allemand
Pages (de - à)	308-312
Nombre de pages	5
journal	Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
Volume	P-67
état	Publié - 1 janv. 2005
Modification externe	Oui
Evénement	35th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik LIVE!, INFORMATIK 2005 - Bonn, Allemagne Durée: 19 sept. 2005 → 22 sept. 2005

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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",

}

Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors. / Große, Daniel; Kühne, Ulrich; Drechsler, Rolf.
Dans: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol P-67, 01.01.2005, p. 308-312.

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

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

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

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 -