Toward formalizing a validation methodology using simulation coverage

Aarti Gupta; Sharad Malik; Pranay Ashar

doi:10.1145/266021.266359

Toward formalizing a validation methodology using simulation coverage

Aarti Gupta, Sharad Malik, Pranay Ashar

Computer Science

Research output: Contribution to journal › Conference article › peer-review

34 Scopus citations

Abstract

This work demonstrates that under a given set of assumptions, transition tours on test models can be used for complete validation of an implementation against a specification, for a large and important class of designs that includes many programmable/hardwired, general-purpose processors/DSPs. A by-product of this study is specific guidelines for deriving the test model. Finally, the methodology is illustrated by applying it on a pipelined implementation of the DLX processor.

Original language	English (US)
Pages (from-to)	740-745
Number of pages	6
Journal	Proceedings - Design Automation Conference
DOIs	https://doi.org/10.1145/266021.266359
State	Published - 1997
Event	Proceedings of the 1997 34th Design Automation Conference - Anaheim, CA, USA Duration: Jun 9 1997 → Jun 13 1997

All Science Journal Classification (ASJC) codes

Hardware and Architecture
Control and Systems Engineering

Access to Document

10.1145/266021.266359

Cite this

@article{0510146c731c49238fbbcb6b90f1af47,

title = "Toward formalizing a validation methodology using simulation coverage",

abstract = "This work demonstrates that under a given set of assumptions, transition tours on test models can be used for complete validation of an implementation against a specification, for a large and important class of designs that includes many programmable/hardwired, general-purpose processors/DSPs. A by-product of this study is specific guidelines for deriving the test model. Finally, the methodology is illustrated by applying it on a pipelined implementation of the DLX processor.",

author = "Aarti Gupta and Sharad Malik and Pranay Ashar",

year = "1997",

doi = "10.1145/266021.266359",

language = "English (US)",

pages = "740--745",

journal = "Proceedings - Design Automation Conference",

issn = "0738-100X",

note = "Proceedings of the 1997 34th Design Automation Conference ; Conference date: 09-06-1997 Through 13-06-1997",

}

TY - JOUR

T1 - Toward formalizing a validation methodology using simulation coverage

AU - Gupta, Aarti

AU - Malik, Sharad

AU - Ashar, Pranay

PY - 1997

Y1 - 1997

N2 - This work demonstrates that under a given set of assumptions, transition tours on test models can be used for complete validation of an implementation against a specification, for a large and important class of designs that includes many programmable/hardwired, general-purpose processors/DSPs. A by-product of this study is specific guidelines for deriving the test model. Finally, the methodology is illustrated by applying it on a pipelined implementation of the DLX processor.

AB - This work demonstrates that under a given set of assumptions, transition tours on test models can be used for complete validation of an implementation against a specification, for a large and important class of designs that includes many programmable/hardwired, general-purpose processors/DSPs. A by-product of this study is specific guidelines for deriving the test model. Finally, the methodology is illustrated by applying it on a pipelined implementation of the DLX processor.

UR - https://www.scopus.com/pages/publications/0030679993

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

U2 - 10.1145/266021.266359

DO - 10.1145/266021.266359

M3 - Conference article

AN - SCOPUS:0030679993

SN - 0738-100X

SP - 740

EP - 745

JO - Proceedings - Design Automation Conference

JF - Proceedings - Design Automation Conference

T2 - Proceedings of the 1997 34th Design Automation Conference

Y2 - 9 June 1997 through 13 June 1997

ER -

Toward formalizing a validation methodology using simulation coverage

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this