{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T01:30:58Z","timestamp":1750555858452,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/iolts.2013.6604052","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T22:04:12Z","timestamp":1380146652000},"page":"61-66","source":"Crossref","is-referenced-by-count":1,"title":["Accelerating post silicon debug of deep electrical faults"],"prefix":"10.1109","author":[{"family":"Bao Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipanjan","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zissis","family":"Poulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"172","article-title":"Inductively finding a reachable state space over-approximation","author":"case","year":"2006","journal-title":"Proc IWLS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"12","first-page":"115","article-title":"On the complexity of derivations in the propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2009.2013981"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270851"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2012.6233016"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2006.9"},{"key":"7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/2206781.2206827","article-title":"Lazy suspect-set computation: Fault diagnosis for deep electrical bugs","author":"sengupta","year":"2012","journal-title":"GLSVLSI'12"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2171184"},{"key":"5","first-page":"685","article-title":"On multiplexed signal tracing for post-silicon debug","author":"liu","year":"2011","journal-title":"DATE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146916"},{"volume":"20","journal-title":"Embedded trace macrocell architecture specification","year":"2007","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146917"}],"event":{"name":"2013 IEEE 19th International On-Line Testing Symposium (IOLTS)","start":{"date-parts":[[2013,7,8]]},"location":"Chania","end":{"date-parts":[[2013,7,10]]}},"container-title":["2013 IEEE 19th International On-Line Testing Symposium (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589052\/6604040\/06604052.pdf?arnumber=6604052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:34:15Z","timestamp":1498084455000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6604052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iolts.2013.6604052","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}