{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:06:14Z","timestamp":1725660374656},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/aspdac.2013.6509665","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T23:36:53Z","timestamp":1367624213000},"page":"608-613","source":"Crossref","is-referenced-by-count":0,"title":["Application specified soft error failure rate analysis using sequential equivalence checking techniques"],"prefix":"10.1109","author":[{"family":"Tun Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Dan Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Sikun Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yang Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/ISQED.2008.4479812"},{"year":"0","key":"22"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/DFTVS.2005.61"},{"year":"0","key":"23"},{"year":"0","key":"18"},{"year":"0","key":"24"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/43.552081"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5693-0","author":"huang","year":"1998","journal-title":"Formal Equivalence Checking and Design Debugging"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/TCAD.2011.2120950"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/DFT.2010.32"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TCAD.2008.917591"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/MICRO.2003.1253181"},{"key":"21","first-page":"17","article-title":"Functional vectors generation for rt-level verilog descriptions based on path enumeration and constraint logic programming","author":"li","year":"2005","journal-title":"8th Euromicro Conference on Digital System Design"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/DATE.2009.5090714"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/TVLSI.2006.887832"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TCAD.2005.853696"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/TDMR.2005.853449"},{"key":"10","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/1637837.1637852","article-title":"ACL2 for the Verification of Faulttolerance Properties: First Results","author":"pierre","year":"2009","journal-title":"International Workshop on the ACL2 Theorem Prover and Its Applications"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/VTS.2002.1011143"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/DATE.2009.5090716"},{"key":"5","first-page":"39","article-title":"Real time effect testing of processor faults","author":"bo?hl","year":"1999","journal-title":"1999 IEEE International On-Line Testing Workshop"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/TVLSI.2006.887832"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/IOLTS.2008.59"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/DATE.2007.364501"}],"event":{"name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013)","start":{"date-parts":[[2013,1,22]]},"location":"Yokohama","end":{"date-parts":[[2013,1,25]]}},"container-title":["2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6507004\/6509548\/06509665.pdf?arnumber=6509665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T13:39:46Z","timestamp":1688218786000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6509665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2013.6509665","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}