Building a verification test plan: Trading brute force for finesse

Francine Bacchini; Sharad Malik; J. Bergeron; H. Foster; A. Piziali; R. S. Mitra; C. Ahlschlager; D. Stein

doi:10.1145/1146909.1147113

Building a verification test plan: Trading brute force for finesse

Francine Bacchini, Sharad Malik, J. Bergeron, H. Foster, A. Piziali, R. S. Mitra, C. Ahlschlager, D. Stein

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Original language	English (US)
Title of host publication	2006 43rd ACM/IEEE Design Automation Conference, DAC'06
Pages	805-806
Number of pages	2
DOIs	https://doi.org/10.1145/1146909.1147113
State	Published - Dec 1 2006

All Science Journal Classification (ASJC) codes

Hardware and Architecture
Control and Systems Engineering

Access to Document

10.1145/1146909.1147113

Cite this

@inproceedings{c93dc6bb52fd45709f8c113987c948d1,

title = "Building a verification test plan: Trading brute force for finesse",

author = "Francine Bacchini and Sharad Malik and J. Bergeron and H. Foster and A. Piziali and Mitra, {R. S.} and C. Ahlschlager and D. Stein",

year = "2006",

month = dec,

day = "1",

doi = "10.1145/1146909.1147113",

language = "English (US)",

isbn = "1595933816",

pages = "805--806",

booktitle = "2006 43rd ACM/IEEE Design Automation Conference, DAC'06",

}

TY - GEN

T1 - Building a verification test plan

T2 - Trading brute force for finesse

AU - Bacchini, Francine

AU - Malik, Sharad

AU - Bergeron, J.

AU - Foster, H.

AU - Piziali, A.

AU - Mitra, R. S.

AU - Ahlschlager, C.

AU - Stein, D.

PY - 2006/12/1

Y1 - 2006/12/1

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

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

U2 - 10.1145/1146909.1147113

DO - 10.1145/1146909.1147113

M3 - Conference contribution

AN - SCOPUS:34547166632

SN - 1595933816

SN - 9781595933812

SP - 805

EP - 806

BT - 2006 43rd ACM/IEEE Design Automation Conference, DAC'06

ER -

Building a verification test plan: Trading brute force for finesse

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this