{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:13:48Z","timestamp":1740100428986,"version":"3.37.3"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology of Taiwan","doi-asserted-by":"publisher","award":["MOST 108-2218-E-002-073,109-2224-E-002-008"],"award-info":[{"award-number":["MOST 108-2218-E-002-073,109-2224-E-002-008"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,1]]},"DOI":"10.1109\/iccad51958.2021.9643515","type":"proceedings-article","created":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T23:06:46Z","timestamp":1640300806000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["Compatible Equivalence Checking of X-Valued Circuits"],"prefix":"10.1109","author":[{"given":"Yu-Neng","family":"Wang","sequence":"first","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]},{"given":"Yun-Rong","family":"Luo","sequence":"additional","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]},{"given":"Po-Chun","family":"Chien","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University"}]},{"given":"Ping-Lun","family":"Wang","sequence":"additional","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]},{"given":"Hao-Ren","family":"Wang","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University"}]},{"given":"Wan-Hsuan","family":"Lin","sequence":"additional","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]},{"given":"Jie-Hong Roland","family":"Jiang","sequence":"additional","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]},{"given":"Chung-Yang Ric","family":"Huang","sequence":"additional","affiliation":[{"name":"National Taiwan University,Department of Electrical Engineering"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-2360-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691201"},{"journal-title":"2020 ICCAD CAD Contest","year":"2020","key":"ref12"},{"journal-title":"IEEE Standard for Verilog Hardware Description Language","first-page":"1","year":"2006","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"journal-title":"Problem A X-value Equivalence Checking","year":"2020","author":"hsu","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80028-1"},{"key":"ref18","first-page":"24","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proc CAV"},{"key":"ref19","first-page":"51","article-title":"CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020","volume":"b 2020 1","author":"biere","year":"2020","journal-title":"Proc SAT Competition 2020-Solver and Benchmark Descriptions"},{"key":"ref4","first-page":"836","article-title":"Improvements to combinational equivalence checking","author":"mishchenko","year":"2006","journal-title":"Proc ICCAD"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"ref6","first-page":"547","article-title":"SAT-based combinational equivalence checking with don't care","author":"nam","year":"2004","journal-title":"Proc ITC-CSCC"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_25"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431588"},{"key":"ref2","first-page":"263","article-title":"Equivalence checking using cuts and heaps","author":"kuehlmann","year":"1997","journal-title":"Proc DAC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76990"},{"key":"ref9","first-page":"1494","article-title":"Finding reset nondeterminism in RTL designs-scalable x-analysis methodology and case study","author":"chou","year":"2010","journal-title":"Proc DATE"},{"key":"ref20","first-page":"399","article-title":"Predicting learnt clauses quality in modern SAT solvers","author":"audemard","year":"2009","journal-title":"Proc IJCAI"},{"key":"ref22","first-page":"1108","article-title":"Considering circuit observability don't cares in CNF satisfiability","author":"fu","year":"2005","journal-title":"Proc DATE"},{"key":"ref21","article-title":"Minisat v1. 13-A SAT solver with conflict-clause minimization","author":"s\u00f6rensson","year":"2005","journal-title":"Proc SAT Competition 2005-Solver Descriptions"}],"event":{"name":"2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","start":{"date-parts":[[2021,11,1]]},"location":"Munich, Germany","end":{"date-parts":[[2021,11,4]]}},"container-title":["2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9643423\/9643432\/09643515.pdf?arnumber=9643515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T00:12:16Z","timestamp":1659485536000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9643515\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,1]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad51958.2021.9643515","relation":{},"subject":[],"published":{"date-parts":[[2021,11,1]]}}}