{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:47:28Z","timestamp":1729676848777,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/test.2009.5355713","type":"proceedings-article","created":{"date-parts":[[2009,12,24]],"date-time":"2009-12-24T18:29:18Z","timestamp":1261679358000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Speeding up bounded sequential equivalence checking with cross-timeframe state-pair constraints from data learning"],"prefix":"10.1109","author":[{"given":"Chia-Ling","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles H.-P.","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jayanta","family":"Bhadra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391605"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170072"},{"key":"17","first-page":"197","article-title":"Mining global constraints with domain knowledge for improving bounded sequential equivalence checking","volume":"27","author":"wu","year":"2006","journal-title":"IEEE Trans On Computer-Aided Design (TCAD)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.264"},{"journal-title":"Introduction to Data Mining","year":"2005","author":"tan","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147098"},{"key":"13","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-540-45069-6_20","article-title":"Abstraction and BDDs complement SAT-based BMC in diver","author":"gupta","year":"2003","journal-title":"Proc Workshop Computer Aided Verification (CAV)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1057661.1057725"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/43.277613"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253720"},{"key":"21","first-page":"250","article-title":"An Incremental learning framework for estimating signal controllability in unit-level verification","author":"wen","year":"2007","journal-title":"Proc Int'l Conf Computer Aided Design (ICCAD)"},{"key":"3","first-page":"892","article-title":"A circuit SAT solver with signal correlation guided learning","author":"lu","year":"2003","journal-title":"Proc Conf Design Automation and Test in Europe (DATE)"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2007.4437615"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/43.3140"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.826552"},{"key":"6","first-page":"1170","article-title":"A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states","author":"moo","year":"2007","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/12.859539"},{"key":"4","first-page":"502","article-title":"An extensible sat-solver","author":"een","year":"2003","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.594832"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1997.643962"}],"event":{"name":"2009 IEEE International Test Conference (ITC)","start":{"date-parts":[[2009,11,1]]},"location":"Austin, TX, USA","end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5348788\/5355529\/05355713.pdf?arnumber=5355713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T19:44:15Z","timestamp":1558727055000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5355713\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/test.2009.5355713","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}