Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.

S. Ma, D. Pal, R. Jiang, S. Ray, and S. Vasudevan. ICCAD, page 1-8. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Ray, Sandip

add a person with the name Ray, Sandip

Other publications of authors with the same name

A Mechanical Analysis of Program Verification Strategies.S. Ray, W. Jr., J. Matthews, and J. Moore. J. Autom. Reasoning, 40 (4): 245-269 (2008)Integrating external deduction tools with ACL2.M. Kaufmann, J. Moore, S. Ray, and E. Reeber. J. Applied Logic, 7 (1): 3-25 (2009)Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.S. Ma, D. Pal, R. Jiang, S. Ray, and S. Vasudevan. ICCAD, page 1-8. IEEE, (2015)Innovative practices session 7C: Verification and testing challenges in high-level synthesis.S. Ray, and J. Bhadra. VTS, page 250. IEEE Computer Society, (2010)The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction.S. Ray, Y. Jin, and A. Raychowdhury. IEEE Design & Test, 33 (2): 76-96 (2016)Exploiting transaction level models for observability-aware post-silicon test generation.F. Farahmandi, P. Mishra, and S. Ray. DATE, page 1477-1480. IEEE, (2016)Validating scheduling transformation for behavioral synthesis.Z. Yang, K. Hao, K. Cong, L. Lei, S. Ray, and F. Xie. DATE, page 1652-1657. IEEE, (2016)A Unified Formal Framework for Analyzing Functional and Speed-path Properties.O. Olivo, S. Ray, J. Bhadra, and V. Vedula. MTV, page 44-45. IEEE Computer Society, (2011)Mechanized Certification of Secure Hardware Designs.S. Ray, and W. Jr.. MTV, page 25-32. IEEE Computer Society, (2007)Protecting the supply chain for automotives and IoTs.S. Ray, W. Chen, and R. Cammarota. DAC, page 89:1-89:4. ACM, (2018)

PUMA

Disambiguation of "Ray, Sandip"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Ray, Sandip"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.