New design error modeling and metrics for design validation

Sungho Kang, Stephen A. Szygenda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

When simulation is used for design verification, a subset of simulation input patterns is used, since exhaustive simulation is usually not practical. In this case, the immediate question is how much of the design has been verified? To provide a measure of the simulation pattern coverage based on design error modeling, a new simulation coverage metric is introduced. This measure is useful for obtaining insight into the actual level of design validation, since it provides more realistic results than those which are presently available.

Original languageEnglish
Title of host publicationEuropean Design Automation Conference
PublisherPubl by IEEE
Pages472-477
Number of pages6
ISBN (Print)0818627808
Publication statusPublished - 1992 Dec 1
EventEuropean Design Automation Conference -EURO-VHDL '92 - Hamburg, Ger
Duration: 1992 Sep 71992 Sep 10

Other

OtherEuropean Design Automation Conference -EURO-VHDL '92
CityHamburg, Ger
Period92/9/792/9/10

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Kang, S., & Szygenda, S. A. (1992). New design error modeling and metrics for design validation. In European Design Automation Conference (pp. 472-477). Publ by IEEE.
Kang, Sungho ; Szygenda, Stephen A. / New design error modeling and metrics for design validation. European Design Automation Conference. Publ by IEEE, 1992. pp. 472-477
@inproceedings{7426189a9a754835a40235069612a677,
title = "New design error modeling and metrics for design validation",
abstract = "When simulation is used for design verification, a subset of simulation input patterns is used, since exhaustive simulation is usually not practical. In this case, the immediate question is how much of the design has been verified? To provide a measure of the simulation pattern coverage based on design error modeling, a new simulation coverage metric is introduced. This measure is useful for obtaining insight into the actual level of design validation, since it provides more realistic results than those which are presently available.",
author = "Sungho Kang and Szygenda, {Stephen A.}",
year = "1992",
month = "12",
day = "1",
language = "English",
isbn = "0818627808",
pages = "472--477",
booktitle = "European Design Automation Conference",
publisher = "Publ by IEEE",

}

Kang, S & Szygenda, SA 1992, New design error modeling and metrics for design validation. in European Design Automation Conference. Publ by IEEE, pp. 472-477, European Design Automation Conference -EURO-VHDL '92, Hamburg, Ger, 92/9/7.

New design error modeling and metrics for design validation. / Kang, Sungho; Szygenda, Stephen A.

European Design Automation Conference. Publ by IEEE, 1992. p. 472-477.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - New design error modeling and metrics for design validation

AU - Kang, Sungho

AU - Szygenda, Stephen A.

PY - 1992/12/1

Y1 - 1992/12/1

N2 - When simulation is used for design verification, a subset of simulation input patterns is used, since exhaustive simulation is usually not practical. In this case, the immediate question is how much of the design has been verified? To provide a measure of the simulation pattern coverage based on design error modeling, a new simulation coverage metric is introduced. This measure is useful for obtaining insight into the actual level of design validation, since it provides more realistic results than those which are presently available.

AB - When simulation is used for design verification, a subset of simulation input patterns is used, since exhaustive simulation is usually not practical. In this case, the immediate question is how much of the design has been verified? To provide a measure of the simulation pattern coverage based on design error modeling, a new simulation coverage metric is introduced. This measure is useful for obtaining insight into the actual level of design validation, since it provides more realistic results than those which are presently available.

UR - http://www.scopus.com/inward/record.url?scp=0026984888&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026984888&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0818627808

SP - 472

EP - 477

BT - European Design Automation Conference

PB - Publ by IEEE

ER -

Kang S, Szygenda SA. New design error modeling and metrics for design validation. In European Design Automation Conference. Publ by IEEE. 1992. p. 472-477