Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs

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

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

Original languageEnglish
Title of host publicationProceeding of the 2nd Annual IEEE Systems Conference, 2008
PublisherIEEE Systems Council
Pages1-8
ISBN (Print)978-1-424-42149-7
DOIs
Publication statusPublished - 2008
EventAnnual IEEE Systems Conference - Montreal, Canada
Duration: 7 Apr 200810 Apr 2008

Conference

ConferenceAnnual IEEE Systems Conference
CountryCanada
CityMontreal
Period7/04/0810/04/08

Cite this

Kirchsteiger, C., Grinschgl, J., Trummer, C., Steger, C., Weiß, R., & Pistauer, M. (2008). Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. In Proceeding of the 2nd Annual IEEE Systems Conference, 2008 (pp. 1-8). IEEE Systems Council. https://doi.org/10.1109/SYSTEMS.2008.4519044

Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. / Kirchsteiger, Christoph; Grinschgl, Johannes; Trummer, Christoph; Steger, Christian; Weiß, Reinhold; Pistauer, Markus.

Proceeding of the 2nd Annual IEEE Systems Conference, 2008. IEEE Systems Council, 2008. p. 1-8.

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

Kirchsteiger, C, Grinschgl, J, Trummer, C, Steger, C, Weiß, R & Pistauer, M 2008, Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. in Proceeding of the 2nd Annual IEEE Systems Conference, 2008. IEEE Systems Council, pp. 1-8, Annual IEEE Systems Conference, Montreal, Canada, 7/04/08. https://doi.org/10.1109/SYSTEMS.2008.4519044
Kirchsteiger C, Grinschgl J, Trummer C, Steger C, Weiß R, Pistauer M. Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. In Proceeding of the 2nd Annual IEEE Systems Conference, 2008. IEEE Systems Council. 2008. p. 1-8 https://doi.org/10.1109/SYSTEMS.2008.4519044
Kirchsteiger, Christoph ; Grinschgl, Johannes ; Trummer, Christoph ; Steger, Christian ; Weiß, Reinhold ; Pistauer, Markus. / Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. Proceeding of the 2nd Annual IEEE Systems Conference, 2008. IEEE Systems Council, 2008. pp. 1-8
@inproceedings{091bff02d8a544c2874d8867168bd47c,
title = "Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs",
author = "Christoph Kirchsteiger and Johannes Grinschgl and Christoph Trummer and Christian Steger and Reinhold Wei{\ss} and Markus Pistauer",
year = "2008",
doi = "10.1109/SYSTEMS.2008.4519044",
language = "English",
isbn = "978-1-424-42149-7",
pages = "1--8",
booktitle = "Proceeding of the 2nd Annual IEEE Systems Conference, 2008",
publisher = "IEEE Systems Council",

}

TY - GEN

T1 - Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs

AU - Kirchsteiger, Christoph

AU - Grinschgl, Johannes

AU - Trummer, Christoph

AU - Steger, Christian

AU - Weiß, Reinhold

AU - Pistauer, Markus

PY - 2008

Y1 - 2008

U2 - 10.1109/SYSTEMS.2008.4519044

DO - 10.1109/SYSTEMS.2008.4519044

M3 - Conference contribution

SN - 978-1-424-42149-7

SP - 1

EP - 8

BT - Proceeding of the 2nd Annual IEEE Systems Conference, 2008

PB - IEEE Systems Council

ER -