Exploiting retiming in a guided simulation based validation methodology

Aarti Gupta, Pranav Ashar, Sharad Malik

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

2 Scopus citations
Original languageEnglish (US)
Title of host publicationCorrect Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings
EditorsLaurence Pierre, Thomas Kropf
PublisherSpringer Verlag
Pages350-355
Number of pages6
ISBN (Print)3540665595, 9783540665595
DOIs
StatePublished - Jan 1 1999
Event10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999 - Bad Herrenalb, Germany
Duration: Sep 27 1999Sep 29 1999

Publication series

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

Other

Other10th IFIP WG 10.5 Working Conference on Correct Hardware Design and Verification Methods, CHARME 1999
CountryGermany
CityBad Herrenalb
Period9/27/999/29/99

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Exploiting retiming in a guided simulation based validation methodology'. Together they form a unique fingerprint.

  • 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