Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips

Christoph Trummer; Christoph Kirchsteiger; Christian Steger; Reinhold Weiß; Markus Pistauer; Damian Dalton

doi:10.1109/NEWCAS.2009.5290475

Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips

Christoph Trummer, Christoph Kirchsteiger, Christian Steger, Reinhold Weiß, Markus Pistauer, Damian Dalton

Institute of Technical Informatics (4480)

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

Original language	English
Title of host publication	Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on
Publisher	.
Pages	1-4
DOIs	https://doi.org/10.1109/NEWCAS.2009.5290475
Publication status	Published - 2009
Event	Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on - Toulouse, France Duration: 28 Jun 2009 → 1 Jul 2009

Conference

Conference	Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on
Abbreviated title	NEWCAS-TAISA '09
Country/Territory	France
City	Toulouse
Period	28/06/09 → 1/07/09

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/NEWCAS.2009.5290475

Cite this

Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips. / Trummer, Christoph; Kirchsteiger, Christoph; Steger, Christian et al.

Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on. ., 2009. p. 1-4.

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

Trummer, C, Kirchsteiger, C, Steger, C , Weiß, R, Pistauer, M & Dalton, D 2009, Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips. in Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on. ., pp. 1-4, Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on, Toulouse, France, 28/06/09. https://doi.org/10.1109/NEWCAS.2009.5290475

@inproceedings{9b0529801b90421daeb23fbe28219336,

title = "Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips",

author = "Christoph Trummer and Christoph Kirchsteiger and Christian Steger and Reinhold Wei{\ss} and Markus Pistauer and Damian Dalton",

year = "2009",

doi = "10.1109/NEWCAS.2009.5290475",

language = "English",

pages = "1--4",

booktitle = "Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on",

publisher = ".",

note = "Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on, NEWCAS-TAISA '09 ; Conference date: 28-06-2009 Through 01-07-2009",

}

TY - GEN

T1 - Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips

AU - Trummer, Christoph

AU - Kirchsteiger, Christoph

AU - Steger, Christian

AU - Weiß, Reinhold

AU - Pistauer, Markus

AU - Dalton, Damian

PY - 2009

Y1 - 2009

UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5290475&isnumber=5290408

U2 - 10.1109/NEWCAS.2009.5290475

DO - 10.1109/NEWCAS.2009.5290475

M3 - Conference paper

SP - 1

EP - 4

BT - Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on

PB - .

T2 - Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on

Y2 - 28 June 2009 through 1 July 2009

ER -

Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips

Conference

Fields of Expertise

Access to Document

Other files and links

Hardware/Software-Codesign

Cite this

Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips

Conference

Fields of Expertise

Access to Document

Other files and links

Projects

Hardware/Software-Codesign

Cite this