The automatic generation of functional test vectors for Rambus designs

K. D. Jones; J. P. Privitera

doi:10.1145/240518.240598

The automatic generation of functional test vectors for Rambus designs

K. D. Jones^*, J. P. Privitera

^*Corresponding author for this work

Faculty of Science and Engineering

Rambus Inc.

Research output: Contribution to journal › Conference proceedings published in a journal › peer-review

Abstract

We present a method for the automatic generation of test vectors for functional verification, giving the advantages of random and directed testing. We show the use of a formal specification as input to a test generator. We present techniques for the efficient implementation of the generator. We discuss our experience with this method applied to commercial designs. We show how our approach is a stepping stone towards practical formal verification.

Original language	English
Pages (from-to)	415-420
Number of pages	6
Journal	Proceedings - Design Automation Conference
Volume	0
Issue number	0
DOIs	https://doi.org/10.1145/240518.240598 https://doi.org/10.1109/dac.1996.545612
Publication status	Published - 1996
Event	Proceedings of the 1996 33rd Annual Design Automation Conference - Las Vegas, NV, USA Duration: 3 Jun 1996 → 7 Jun 1996

ASJC Scopus subject areas

Hardware and Architecture
Control and Systems Engineering

Access to Document

Cite this

@article{f6e88ee8b995403fa80d0568369327f2,

title = "The automatic generation of functional test vectors for Rambus designs",

abstract = "We present a method for the automatic generation of test vectors for functional verification, giving the advantages of random and directed testing. We show the use of a formal specification as input to a test generator. We present techniques for the efficient implementation of the generator. We discuss our experience with this method applied to commercial designs. We show how our approach is a stepping stone towards practical formal verification.",

author = "Jones, {K. D.} and Privitera, {J. P.}",

year = "1996",

doi = "10.1145/240518.240598",

language = "English",

volume = "0",

pages = "415--420",

journal = "Proceedings - Design Automation Conference",

issn = "0738-100X",

number = "0",

note = "Proceedings of the 1996 33rd Annual Design Automation Conference ; Conference date: 03-06-1996 Through 07-06-1996",

}

TY - JOUR

T1 - The automatic generation of functional test vectors for Rambus designs

AU - Jones, K. D.

AU - Privitera, J. P.

PY - 1996

Y1 - 1996

N2 - We present a method for the automatic generation of test vectors for functional verification, giving the advantages of random and directed testing. We show the use of a formal specification as input to a test generator. We present techniques for the efficient implementation of the generator. We discuss our experience with this method applied to commercial designs. We show how our approach is a stepping stone towards practical formal verification.

AB - We present a method for the automatic generation of test vectors for functional verification, giving the advantages of random and directed testing. We show the use of a formal specification as input to a test generator. We present techniques for the efficient implementation of the generator. We discuss our experience with this method applied to commercial designs. We show how our approach is a stepping stone towards practical formal verification.

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

U2 - 10.1145/240518.240598

DO - 10.1145/240518.240598

M3 - Conference proceedings published in a journal

AN - SCOPUS:0029716973

SN - 0738-100X

VL - 0

SP - 415

EP - 420

JO - Proceedings - Design Automation Conference

JF - Proceedings - Design Automation Conference

IS - 0

T2 - Proceedings of the 1996 33rd Annual Design Automation Conference

Y2 - 3 June 1996 through 7 June 1996

ER -

The automatic generation of functional test vectors for Rambus designs

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this