{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:35:58Z","timestamp":1780500958941,"version":"3.54.1"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742937","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T21:20:31Z","timestamp":1393017631000},"page":"478-482","source":"Crossref","is-referenced-by-count":5,"title":["QED post-silicon validation and debug: Frequently asked questions"],"prefix":"10.1109","author":[{"given":"David","family":"Lin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Subhasish","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/223982.224450","article-title":"Architecture validation for processors","author":"ho","year":"1995","journal-title":"Proceedings 22nd Annual International Symposium on Computer Architecture ISCA"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837367"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2008.23"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.54"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065786"},{"key":"33","year":"0","journal-title":"OpenSPARC World's First Free 64-bit Microprocessor"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030595"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2007.896905"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484908"},{"key":"13","first-page":"405","article-title":"DACOTA: Post-silicon validation of the memory subsystem in multi-core designs","author":"de orio","year":"2009","journal-title":"Proc IEEE Intl Symp High-performance Computer Architecture"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.728"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/GLSV.1998.665230"},{"key":"11","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-642-31424-7_37","article-title":"NuTAB-BackSpace: Rewriting to normalize non-determinism in post-silicon debug traces","author":"de paula","year":"2012","journal-title":"Proc Intl Conf on Computer Aided Verification"},{"key":"38","article-title":"Post-silicon debug - DAC workshop on post-silicon debug: Technologies, methodologies, and best-practices","author":"reick","year":"2012","journal-title":"IEEE\/ACM Design Automation Conf"},{"key":"12","first-page":"348","article-title":"Post-silicon verification for cache coherence","author":"de orio","year":"2008","journal-title":"Proc IEEE Intl Conf Computer Design"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2010.5434077"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2010.5699215"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751878"},{"key":"42","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/ISCA.1995.524546","article-title":"The SPLASH-2 programs: characterization and methodological considerations","author":"woo","year":"1995","journal-title":"Proceedings 22nd Annual International Symposium on Computer Architecture ISCA"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270834"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457129"},{"key":"44","article-title":"Addressing post-silicon validation challenges: Leverage validation & test synergy","author":"yerramilli","year":"2006","journal-title":"IEEE Intl Test Conf"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146915"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837278"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270856"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2009.5388578"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228461"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.077"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1035377"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837280"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763252"},{"key":"2","first-page":"60","article-title":"Reaching coverage closure in post-silicon validation","author":"adir","year":"2010","journal-title":"Proc Haifa Verification Conf"},{"key":"10","first-page":"91","article-title":"Automated post-silicon debugging and repair","author":"chang","year":"2007","journal-title":"Proc IEEE\/ACM Intl Conf on Computer-Aided Design"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146916"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935512"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2009.5355702"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249960"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024856"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2007.38"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2009.4977293"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Singapore","start":{"date-parts":[[2014,1,20]]},"end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742937.pdf?arnumber=6742937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:16:30Z","timestamp":1689009390000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742937\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742937","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}