{"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":1773248233406,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,24]],"date-time":"2018-06-24T00:00:00Z","timestamp":1529798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministry of Science and Technology (MOST), Taiwan","award":["104-2628-E-194-001-MY3, 105-2221-E-002-196-MY3"],"award-info":[{"award-number":["104-2628-E-194-001-MY3, 105-2221-E-002-196-MY3"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,24]]},"DOI":"10.1145\/3195970.3196039","type":"proceedings-article","created":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T13:54:59Z","timestamp":1529416499000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Efficient computation of ECO patch functions"],"prefix":"10.1145","author":[{"given":"Ai Quoc","family":"Dao","sequence":"first","affiliation":[{"name":"National Chung Cheng University, Chiayi, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nian-Ze","family":"Lee","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-Cheng","family":"Chen","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark Po-Hung","family":"Lin","sequence":"additional","affiliation":[{"name":"National Chung Cheng University, Chiayi, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0152-6"},{"key":"e_1_3_2_1_2_1","volume-title":"SAT","author":"Balabanov V.","year":"2016","unstructured":"V. Balabanov , J.-H. Jiang , C. Scholl , A. Mishchenko , and R. Brayton , \" 2QBF: Challenges and solutions,\" in Proc . SAT , 2016 . V. Balabanov, J.-H. Jiang, C. Scholl, A. Mishchenko, and R. Brayton, \"2QBF: Challenges and solutions,\" in Proc. SAT, 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358111"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2972050"},{"key":"e_1_3_2_1_6_1","volume-title":"SAT","author":"Een N.","year":"2003","unstructured":"N. Een and N. S\u00fcrensson , \" An extensible SAT-solver,\" in Proc . SAT , 2003 . N. Een and N. S\u00fcrensson, \"An extensible SAT-solver,\" in Proc. SAT, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2226456"},{"key":"e_1_3_2_1_8_1","volume-title":"ICCAD, 2017","author":"Huang C.-Y.","year":"2017","unstructured":"C.-Y. Huang , C.-J. Hsu , and C.-A. Wu , \"2017 ICCAD CAD Contest Problem A : Resource-aware patch generation,\" in Proc . ICCAD, 2017 . http:\/\/cad-contest- 2017 .el.cycu.edu.tw\/Problem_A\/default.html C.-Y. Huang, C.-J. Hsu, and C.-A. Wu, \"2017 ICCAD CAD Contest Problem A: Resource-aware patch generation,\" in Proc. ICCAD, 2017. http:\/\/cad-contest-2017.el.cycu.edu.tw\/Problem_A\/default.html"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687546"},{"key":"e_1_3_2_1_10_1","volume-title":"ICCAD","author":"Lee N.-Z.","year":"2017","unstructured":"N.-Z. Lee , V. Kravets , and J.-H. Jiang , \"Sequential engineering change order under retiming and resynthesis,\" in Proc . ICCAD , 2017 N.-Z. Lee, V. Kravets, and J.-H. Jiang, \"Sequential engineering change order under retiming and resynthesis,\" in Proc. ICCAD, 2017"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.748158"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233679"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024758"},{"key":"e_1_3_2_1_14_1","volume-title":"DATE","author":"Tang K.-F.","year":"2012","unstructured":"K.-F. Tang , P.-K. Huang , C.-N. Chou , and C.-Y. Huang , \"Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction,\" in Proc . DATE , 2012 . K.-F. Tang, P.-K. Huang, C.-N. Chou, and C.-Y. Huang, \"Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction,\" in Proc. DATE, 2012."},{"key":"e_1_3_2_1_15_1","volume-title":"ICCAD","author":"Wu B.-H.","year":"2010","unstructured":"B.-H. Wu , C.-J. Yang , C.-Y. Huang , and J.-H. Jiang , \" A robust functional ECO engine by SAT proof minimization and interpolation techniques,\" in Proc . ICCAD , 2010 . B.-H. Wu, C.-J. Yang, C.-Y. Huang, and J.-H. Jiang, \"A robust functional ECO engine by SAT proof minimization and interpolation techniques,\" in Proc. ICCAD, 2010."},{"key":"e_1_3_2_1_16_1","volume-title":"A system for sequential synthesis and verification","author":"ABC","unstructured":"ABC : A system for sequential synthesis and verification . Berkeley Logic Synthesis and Verification Group . http:\/\/www-cad.eecs.berkeley.edu\/~alanmi\/abc ABC: A system for sequential synthesis and verification. Berkeley Logic Synthesis and Verification Group. http:\/\/www-cad.eecs.berkeley.edu\/~alanmi\/abc"},{"key":"e_1_3_2_1_17_1","unstructured":"https:\/\/www.synopsys.com\/dw\/ipdir.php?ds=dwc_eco_logic  https:\/\/www.synopsys.com\/dw\/ipdir.php?ds=dwc_eco_logic"},{"key":"e_1_3_2_1_18_1","unstructured":"https:\/\/www.cadence.com\/content\/cadence-www\/global\/en_US\/home\/tools\/digital-design-and-signoff\/functional-eco\/conformal-eco-designer.html  https:\/\/www.cadence.com\/content\/cadence-www\/global\/en_US\/home\/tools\/digital-design-and-signoff\/functional-eco\/conformal-eco-designer.html"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196006"},{"key":"e_1_3_2_1_20_1","unstructured":"https:\/\/people.eecs.berkeley.edu\/~alanmi\/publications\/2018\/dac18_eco_theorem.pdf  https:\/\/people.eecs.berkeley.edu\/~alanmi\/publications\/2018\/dac18_eco_theorem.pdf"}],"event":{"name":"DAC '18: The 55th Annual Design Automation Conference 2018","location":"San Francisco California","acronym":"DAC '18","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 55th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195970.3196039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:12Z","timestamp":1750210752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195970.3196039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,24]]},"references-count":20,"alternative-id":["10.1145\/3195970.3196039","10.1145\/3195970"],"URL":"https:\/\/doi.org\/10.1145\/3195970.3196039","relation":{},"subject":[],"published":{"date-parts":[[2018,6,24]]},"assertion":[{"value":"2018-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}