Exploiting retiming in a guided simulation based validation methodology

Aarti Gupta; Pranav Ashar; Sharad Malik

doi:10.1007/3-540-48153-2_32

Exploiting retiming in a guided simulation based validation methodology

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

Original language	English (US)
Title of host publication	Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings
Editors	Laurence Pierre, Thomas Kropf
Publisher	Springer Verlag
Pages	350-355
Number of pages	6
ISBN (Print)	3540665595, 9783540665595
DOIs	https://doi.org/10.1007/3-540-48153-2_32
State	Published - 1999
Event	10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999 - Bad Herrenalb, Germany Duration: Sep 27 1999 → Sep 29 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1703
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999
Country/Territory	Germany
City	Bad Herrenalb
Period	9/27/99 → 9/29/99

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-48153-2_32

Cite this

Gupta, A., Ashar, P., & Malik, S. (1999). Exploiting retiming in a guided simulation based validation methodology. In L. Pierre, & T. Kropf (Eds.), Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings (pp. 350-355). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1703). Springer Verlag. https://doi.org/10.1007/3-540-48153-2_32

Gupta, Aarti ; Ashar, Pranav ; Malik, Sharad. / Exploiting retiming in a guided simulation based validation methodology. Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. editor / Laurence Pierre ; Thomas Kropf. Springer Verlag, 1999. pp. 350-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{16216e2fa0484380be6b9b7fdf718672,

title = "Exploiting retiming in a guided simulation based validation methodology",

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

year = "1999",

doi = "10.1007/3-540-48153-2_32",

language = "English (US)",

isbn = "3540665595",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "350--355",

editor = "Laurence Pierre and Thomas Kropf",

booktitle = "Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings",

address = "Germany",

note = "10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999 ; Conference date: 27-09-1999 Through 29-09-1999",

}

Gupta, A, Ashar, P & Malik, S 1999, Exploiting retiming in a guided simulation based validation methodology. in L Pierre & T Kropf (eds), Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1703, Springer Verlag, pp. 350-355, 10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999, Bad Herrenalb, Germany, 9/27/99. https://doi.org/10.1007/3-540-48153-2_32

Exploiting retiming in a guided simulation based validation methodology. / Gupta, Aarti; Ashar, Pranav; Malik, Sharad.
Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. ed. / Laurence Pierre; Thomas Kropf. Springer Verlag, 1999. p. 350-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1703).

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

TY - GEN

T1 - Exploiting retiming in a guided simulation based validation methodology

AU - Gupta, Aarti

AU - Ashar, Pranav

AU - Malik, Sharad

PY - 1999

Y1 - 1999

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

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

U2 - 10.1007/3-540-48153-2_32

DO - 10.1007/3-540-48153-2_32

M3 - Conference contribution

AN - SCOPUS:84958633682

SN - 3540665595

SN - 9783540665595

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 350

EP - 355

BT - Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings

A2 - Pierre, Laurence

A2 - Kropf, Thomas

PB - Springer Verlag

T2 - 10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999

Y2 - 27 September 1999 through 29 September 1999

ER -

Gupta A, Ashar P, Malik S. Exploiting retiming in a guided simulation based validation methodology. In Pierre L, Kropf T, editors, Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. Springer Verlag. 1999. p. 350-355. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48153-2_32

Exploiting retiming in a guided simulation based validation methodology

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this