{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:13:14Z","timestamp":1725621194770},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/iccad.2007.4397285","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T19:22:47Z","timestamp":1199906567000},"page":"326-333","source":"Crossref","is-referenced-by-count":10,"title":["Inductive equivalence checking under retiming and resynthesis"],"prefix":"10.1109","author":[{"given":"Jie-Hong R.","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Wei-Lun Hung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"268","article-title":"Functional dependency for verification reduction","author":"jiang","year":"2004","journal-title":"Proc CAV"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882520"},{"key":"ref12","article-title":"IChecker: An efficient checker for inductive invariants","author":"lu","year":"2007","journal-title":"Proc HLDVT"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"ref14","article-title":"Exploiting suspected redundancy without proving it","author":"mony","year":"2005","journal-title":"Proc DAC"},{"key":"ref15","first-page":"836","article-title":"Improvements to combinational equivalence checking","author":"mishchenko","year":"2006","journal-title":"Proc ICCAD"},{"key":"ref16","article-title":"Reverse: Efficient sequential verification of retiming","author":"mneimneh","year":"2003","journal-title":"Proc IWLS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.62793"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227770"},{"key":"ref19","article-title":"Checking safety properties using induction and a SAT-solver","author":"sheeran","year":"2000","journal-title":"Proc FMCAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/43.62792"},{"key":"ref3","article-title":"Scalable sequential verification","author":"brayton","year":"2007","journal-title":"ERL Technical Report EECS Dept"},{"key":"ref6","article-title":"Detection of equivalent state variables in finite state machine verification","author":"van eijk","year":"1995","journal-title":"Proc IWLS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/43.851997"},{"key":"ref8","article-title":"Temporal induction by incremental SAT solving","author":"een","year":"2003","journal-title":"BMC Proceedings"},{"key":"ref7","article-title":"An extensible SAT-solver","author":"een","year":"2003","journal-title":"Proc SAT"},{"journal-title":"Berkeley Logic Synthesis and Verification Group ABC A system for sequential synthesis and verification (release 51205)","year":"0","key":"ref2"},{"key":"ref1","article-title":"SAT-based verification without state space traversal","author":"bjesse","year":"2000","journal-title":"Proc FMCAD"},{"key":"ref9","first-page":"277","article-title":"On verifying the correctness of retimed circuits","author":"huang","year":"1996","journal-title":"Proc GLSVLSI"}],"event":{"name":"2007 IEEE\/ACM International Conference on Computer-Aided Design","start":{"date-parts":[[2007,11,4]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2007,11,8]]}},"container-title":["2007 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4397222\/4397223\/04397285.pdf?arnumber=4397285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T19:46:47Z","timestamp":1489693607000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4397285\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccad.2007.4397285","relation":{},"ISSN":["1092-3152"],"issn-type":[{"type":"print","value":"1092-3152"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}