{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:07:24Z","timestamp":1729645644114,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/aspdac.2012.6165045","type":"proceedings-article","created":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T20:53:37Z","timestamp":1331672017000},"page":"695-700","source":"Crossref","is-referenced-by-count":5,"title":["On error tolerance and Engineering Change with Partially Programmable Circuits"],"prefix":"10.1109","author":[{"given":"Hratch","family":"Mangassarian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroaki","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Yamashita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-45744-5_27","article-title":"QUBE: A system for deciding quantified boolean formulas satisfiability","author":"giunchiglia","year":"2001","journal-title":"Automated Reasoning"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TCAD.2007.891362"},{"year":"1991","author":"yang","journal-title":"Logic Synthesis and Optimization Benchmarks User Guide Version 3 0","key":"16"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1525-4","author":"jha","year":"1990","journal-title":"Testing and Reliable Design of CMOS Circuits"},{"key":"14","first-page":"307","article-title":"Sorting networks and their applications","author":"batcher","year":"1968","journal-title":"Proceedings of AFIPS Spring Joint Computer Conference"},{"key":"11","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/11532231_27","article-title":"sKizzo: A suite to evaluate and certify QBFs","author":"benedetti","year":"2005","journal-title":"Int'l Conf on Automated Deduction"},{"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"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1147\/rd.62.0200"},{"year":"2007","journal-title":"International Technology Roadmap for Semiconductors","key":"2"},{"key":"1","first-page":"237","article-title":"Increasing yield using partially-programmable circuits","author":"yamashita","year":"2010","journal-title":"Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)"},{"key":"10","first-page":"544","article-title":"Engineering change using spare cells with constant insertion","author":"kuo","year":"2007","journal-title":"Int'l Conf on CAD"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/43.856972"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/TVLSI.2002.801609"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/DAC.2002.1012717"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/MM.2007.19"},{"key":"9","first-page":"14","article-title":"Incremental synthesis","author":"brand","year":"1994","journal-title":"Int'l Conf on CAD"},{"key":"8","first-page":"1596","article-title":"Minimal logic re-synthesis for engineering change","volume":"3","author":"swamy","year":"1997","journal-title":"IEEE International Symposium on Circuits and Systems"}],"event":{"name":"2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2012,1,30]]},"location":"Sydney, Australia","end":{"date-parts":[[2012,2,2]]}},"container-title":["17th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6156603\/6164924\/06165045.pdf?arnumber=6165045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T07:11:05Z","timestamp":1561446665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6165045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2012.6165045","relation":{},"subject":[],"published":{"date-parts":[[2012,1]]}}}