Automatic Verification Plan Generation to Speed up SoC Verification

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

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

Original languageEnglish
Title of host publicationProceedings in NORCHIP, 2008
Publisher.
Pages33-36
Publication statusPublished - 2008
EventNORCHIP Conference - Tallinn, Estonia
Duration: 17 Nov 200818 Nov 2008

Conference

ConferenceNORCHIP Conference
CountryEstonia
CityTallinn
Period17/11/0818/11/08

Cite this

Kirchsteiger, C., Trummer, C., Steger, C., Weiß, R., & Pistauer, M. (2008). Automatic Verification Plan Generation to Speed up SoC Verification. In Proceedings in NORCHIP, 2008 (pp. 33-36). ..

Automatic Verification Plan Generation to Speed up SoC Verification. / Kirchsteiger, Christoph; Trummer, Christoph; Steger, Christian; Weiß, Reinhold; Pistauer, Markus.

Proceedings in NORCHIP, 2008. ., 2008. p. 33-36.

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

Kirchsteiger, C, Trummer, C, Steger, C, Weiß, R & Pistauer, M 2008, Automatic Verification Plan Generation to Speed up SoC Verification. in Proceedings in NORCHIP, 2008. ., pp. 33-36, NORCHIP Conference, Tallinn, Estonia, 17/11/08.
Kirchsteiger C, Trummer C, Steger C, Weiß R, Pistauer M. Automatic Verification Plan Generation to Speed up SoC Verification. In Proceedings in NORCHIP, 2008. . 2008. p. 33-36
Kirchsteiger, Christoph ; Trummer, Christoph ; Steger, Christian ; Weiß, Reinhold ; Pistauer, Markus. / Automatic Verification Plan Generation to Speed up SoC Verification. Proceedings in NORCHIP, 2008. ., 2008. pp. 33-36
@inproceedings{4ad8d25e42f84afa8d3a735005bd26da,
title = "Automatic Verification Plan Generation to Speed up SoC Verification",
author = "Christoph Kirchsteiger and Christoph Trummer and Christian Steger and Reinhold Wei{\ss} and Markus Pistauer",
year = "2008",
language = "English",
pages = "33--36",
booktitle = "Proceedings in NORCHIP, 2008",
publisher = ".",

}

TY - GEN

T1 - Automatic Verification Plan Generation to Speed up SoC Verification

AU - Kirchsteiger, Christoph

AU - Trummer, Christoph

AU - Steger, Christian

AU - Weiß, Reinhold

AU - Pistauer, Markus

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 33

EP - 36

BT - Proceedings in NORCHIP, 2008

PB - .

ER -