{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:09Z","timestamp":1779087789199,"version":"3.51.4"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iccad.2008.4681580","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T21:24:14Z","timestamp":1227648254000},"page":"234-241","source":"Crossref","is-referenced-by-count":40,"title":["Scalable and scalably-verifiable sequential synthesis"],"prefix":"10.1109","author":[{"given":"Alan","family":"Mishchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Case","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"0"},{"key":"17","first-page":"176","article-title":"ichecker: an efficient checker for inductive invariants","author":"lu","year":"0","journal-title":"Proc HLDVT '06"},{"key":"18","first-page":"1","article-title":"interpolation and sat-based model checking","author":"mcmillan","year":"0","journal-title":"Proc CAV'03"},{"key":"15","first-page":"277","article-title":"exact removal of redundant state registers using binary decision diagrams","author":"lin","year":"0","journal-title":"Proc IFIP TC 10\/WG 10 5 Intl Conf VLSI '91"},{"key":"16","first-page":"668","article-title":"a signal correlation guided atpg solver and its applications for solving difficult industrial cases","author":"lu","year":"0","journal-title":"Proc DAC '03"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397285"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382542"},{"key":"11","year":"2005","journal-title":"Benchmarks"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882520"},{"key":"21","article-title":"combinational and sequential mapping with priority cuts","author":"mishchenko","year":"0","journal-title":"Proc ICCAD '07"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2006.320087"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229287"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065700"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/275107.275118"},{"key":"25","article-title":"sis: a system for sequential circuit synthesis","author":"sentovich","year":"1992","journal-title":"Tech Rep UCB\/ERI M92\/41"},{"key":"26","first-page":"8","article-title":"efficient latch optimization using exclusive sets","author":"sentovich","year":"0","journal-title":"Proc DAC'97"},{"key":"27","year":"0"},{"key":"3","year":"0"},{"key":"2","article-title":"scalable sequential equivalence checking across arbitrary design transformations","author":"baumgartner","year":"0","journal-title":"Proc ICCD '06"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/43.851997"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968615"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560220"},{"key":"5","first-page":"372","article-title":"sat-based verification without state space traversal","volume":"1954","author":"bjesse","year":"0","journal-title":"LNCS"},{"key":"4","first-page":"193","article-title":"symbolic model checking without bdds","author":"biere","year":"0","journal-title":"Proc TACAS '99"},{"key":"9","article-title":"an extensible sat-solver","author":"een","year":"0","journal-title":"SAT '03"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"}],"event":{"name":"2008 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2008,11,10]]},"end":{"date-parts":[[2008,11,13]]}},"container-title":["2008 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4670335\/4681527\/04681580.pdf?arnumber=4681580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T17:19:44Z","timestamp":1489771184000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4681580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iccad.2008.4681580","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}