{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:57:13Z","timestamp":1773248233397,"version":"3.50.1"},"reference-count":54,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116504","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T19:28:37Z","timestamp":1592249317000},"page":"726-731","source":"Crossref","is-referenced-by-count":14,"title":["Engineering Change Order for Combinational and Sequential Design Rectification"],"prefix":"10.23919","author":[{"given":"Jie-Hong R.","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Victor N.","family":"Kravets","sequence":"additional","affiliation":[]},{"given":"Nian-Ze","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2272540"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2011.2104377"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742927"},{"key":"ref32","article-title":"Timing refinement rerouting","author":"kazda","year":"2014"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.883923"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810642"},{"key":"ref37","first-page":"408","article-title":"Matchingbased minimum-cost spare cell selection for design changes","author":"jiang","year":"2009","journal-title":"Proceedings of Design Automation Conference"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751930"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1109\/TCAD.2009.2013537","article-title":"Spare cells with constant insertion for engineering change","volume":"28","author":"kuo","year":"2009","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397321"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2774277"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907271"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751915"},{"key":"ref2","first-page":"167","article-title":"Some remarks on infinitely long formulas","author":"henkin","year":"1961","journal-title":"Proc Symp Found Math Infinitistic Methods"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203767"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.209"},{"key":"ref22","first-page":"3","article-title":"Dependency quantified Boolean formulas: An overview of solution methods and applications - extended abstract","author":"scholl","year":"2018","journal-title":"Proceedings of International Conference on Theory and Applications of Satisfiability Testing"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317790"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/332357.332379"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397285"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2011.6026534"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1353629.1353654"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-DAT.2014.6834874"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2276395"},{"key":"ref53","article-title":"Dependency stochastic Boolean satisfiability: A logical formalism for NEXPTIME decision problems with uncertainty","author":"lee","year":"2019"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2019.8702524"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.55"},{"key":"ref11","first-page":"729","article-title":"A robust functional ECO engine by SAT proof minimization and interpolation techniques","author":"wu","year":"2010","journal-title":"Proceedings of International Conference on Computer Aided Design"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024757"},{"key":"ref12","first-page":"51:1","article-title":"Efficient computation of ECO patch functions","author":"dao","year":"2018","journal-title":"Proceedings of Design Automation Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_30"},{"key":"ref14","first-page":"96:1","article-title":"Cost-aware patch generation for multi-target function rectification of engineering change orders","author":"zhang","year":"2018","journal-title":"Proceedings of Design Automation Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687546"},{"key":"ref17","first-page":"229","article-title":"SAT sweeping with local observability don’t-cares","author":"zhu","year":"2006","journal-title":"Proceedings of Design Automation Conference"},{"key":"ref18","article-title":"FRAIGs: A unifying representation for logic synthesis and verification","author":"mishchenko","year":"2005","journal-title":"ERL Technical Report"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2226456"},{"key":"ref4","first-page":"1","article-title":"Word problems requiring exponential time","author":"stockmeyer","year":"1973","journal-title":"Proceedings of Symposium on Theory of Computing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(00)00333-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.12.020"},{"key":"ref5","first-page":"679","article-title":"Topologically constrained logic synthesis","author":"sinha","year":"2002","journal-title":"Proceedings of International Conference on Computer Aided Design"},{"key":"ref8","first-page":"1567","article-title":"Multipatch generation for multi-error logic rectification by interpolation with cofactor reduction","author":"tang","year":"2012","journal-title":"Proceedings of Design Automation and Test in Europe Conference and Exhibition"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657071"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630017"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116310"},{"key":"ref46","first-page":"517","article-title":"Clock rescheduling for timing engineering change orders","author":"ho","year":"2012","journal-title":"Proceedings of Asia and South Pacific Design Automation Conference"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"1723","DOI":"10.1109\/TCAD.2012.2201480","article-title":"TRECO: Dynamic technology remapping for timing engineering change orders","volume":"31","author":"ho","year":"2012","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2009.2026478"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1514932.1514974"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2043573"},{"key":"ref41","first-page":"530","article-title":"ECO timing optimization using spare cells","author":"chen","year":"2007","journal-title":"Proceedings of International Conference on Computer Aided Design"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2209117"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5653648"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116504.pdf?arnumber=9116504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T18:43:00Z","timestamp":1594665780000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":54,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116504","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}