{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:08:29Z","timestamp":1725613709829},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/isqed.2012.6187566","type":"proceedings-article","created":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T16:08:50Z","timestamp":1335370130000},"page":"686-693","source":"Crossref","is-referenced-by-count":1,"title":["Automated correction of design errors by edge redirection on High-Level Decision Diagrams"],"prefix":"10.1109","author":[{"given":"Anton","family":"Karputkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mati","family":"Tombak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"263","author":"baranov","year":"2008","journal-title":"Logic and System Design of Digital Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"journal-title":"FP6 VERTIGO Project","year":"0","key":"15"},{"journal-title":"OpenCores UART16750 Communication Controller","year":"0","key":"16"},{"journal-title":"ITC99 Benchmarks","year":"0","key":"13"},{"journal-title":"Green Mountain HC11 CPU Core","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.3176\/eng.2010.1.06"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2011.5783130"},{"key":"3","first-page":"58","article-title":"Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits","author":"veneris","year":"0","journal-title":"Proceedings of the IEEE VLSI Test Symposium April 1999"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558246"},{"key":"1","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/196244.196356","article-title":"rectification of multiple logic design errors in multiple output circuits","author":"tomita","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"10","first-page":"519","article-title":"Synthesis of High-Level Decision Diagrams for Functional Test Pattern Generation","author":"ubar","year":"0","journal-title":"16th Int Conference Mixed Design of Integrated Circuits and Systems Lodz Poland 2009"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2007.4392789"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1994.629736"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277207"},{"key":"4","first-page":"30","article-title":"Automating the Diagnosis and the Rectification of Design Errors with PRIAM","author":"madre","year":"1989","journal-title":"Proc ICCAD"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217604"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"}],"event":{"name":"2012 13th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2012,3,19]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2012,3,21]]}},"container-title":["Thirteenth International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6182938\/6187454\/06187566.pdf?arnumber=6187566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T13:52:11Z","timestamp":1497966731000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6187566\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isqed.2012.6187566","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}