{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:55:25Z","timestamp":1729612525772,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/dft.2013.6653580","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T19:58:04Z","timestamp":1384199884000},"page":"39-44","source":"Crossref","is-referenced-by-count":2,"title":["SAT-based code synthesis for fault-secure circuits"],"prefix":"10.1109","author":[{"given":"Atefe","family":"Dalirsani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"Kochte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Joachim","family":"Wunderlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.06.015"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2009.5196001"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2008.24"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1271075"},{"key":"16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/OLT.2003.1214364","article-title":"Synthesis of low-cost paritybased partially self-checking circuits","author":"mohanram","year":"2003","journal-title":"Proc 9th IEEE On-Line Testing Symposium"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855933"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403592"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250156"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2005.80"},{"key":"21","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/IOLTS.2008.32","article-title":"Verification and analysis of selfchecking properties through ATPG","author":"hunger","year":"2008","journal-title":"Proc IEEE International Online Testing Symposium"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00971975"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479838"},{"key":"23","first-page":"10","article-title":"On the complexity of derivation in propositional calculus","volume":"2","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"journal-title":"Self-Checking and Fault-Tolerant Digital Design","year":"2001","author":"lala","key":"24"},{"key":"25","first-page":"672","article-title":"Finite state machine synthesis with concurrent error detection","author":"zeng","year":"1999","journal-title":"Proc IEEE Int'l Test Conference"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2001.929760"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/GLSV.1997.580407"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996588"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/92.285745"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008244815697"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2000.894311"},{"journal-title":"New Methods of Concurrent Checking","year":"2008","author":"goessel","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.644041"},{"journal-title":"Logic synthesis for concurrent error detection","year":"1993","author":"touba","key":"8"}],"event":{"name":"2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS)","start":{"date-parts":[[2013,10,2]]},"location":"New York City, NY, USA","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6644330\/6653572\/06653580.pdf?arnumber=6653580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:45:26Z","timestamp":1498095926000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6653580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/dft.2013.6653580","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}