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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationCircuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on
Publisher.
Pages1-4
DOIs
Publication statusPublished - 2009
EventCircuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on - Toulouse, France
Duration: 28 Jun 20091 Jul 2009

Conference

ConferenceCircuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on
Abbreviated titleNEWCAS-TAISA '09
CountryFrance
CityToulouse
Period28/06/091/07/09

Fields of Expertise

  • Information, Communication & Computing

Cite this

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). .. https://doi.org/10.1109/NEWCAS.2009.5290475

Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips. / Trummer, Christoph; Kirchsteiger, Christoph; Steger, Christian; Weiß, Reinhold; Pistauer, Markus; Dalton, Damian.

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 proceedingConference contributionResearchpeer-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
Trummer C, Kirchsteiger C, Steger C, Weiß R, Pistauer M, Dalton D. 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. . 2009. p. 1-4 https://doi.org/10.1109/NEWCAS.2009.5290475
Trummer, Christoph ; Kirchsteiger, Christoph ; Steger, Christian ; Weiß, Reinhold ; Pistauer, Markus ; Dalton, Damian. / Specification and Automated Simulation-based Verification of Power Requirements for System-on-Chips. Circuits and Systems and TAISA Conference, 2009. NEWCAS-TAISA '09. Joint IEEE North-East Workshop on. ., 2009. pp. 1-4
@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 = ".",

}

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 contribution

SP - 1

EP - 4

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

PB - .

ER -