{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T15:51:17Z","timestamp":1778082677967,"version":"3.51.4"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560220","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"1076-1082","source":"Crossref","is-referenced-by-count":23,"title":["Automatic generalized phase abstraction for formal verification"],"prefix":"10.1109","author":[{"given":"P.","family":"Bjesse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kukula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/10722167_5","article-title":"An abstraction algorithm for the verification of generalized C-slow designs","author":"baumgartner","year":"2000","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_11"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968615"},{"key":"3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1024485130001","article-title":"An abstraction algorithm for the verification of level-sensitive latch-based netlists","volume":"23","year":"2003","journal-title":"Formal Methods in System Design"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48683-6_9","article-title":"Model checking the IBM gigahertz processor: An abstraction algorithm for high-performance netlists","author":"baumgartner","year":"1999","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"1","article-title":"A framework for equivalence checking of multi-phase FSMs","author":"hasteer","year":"1997","journal-title":"Proc IEEE High-Level Design Validation and Test"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45069-6_1","article-title":"Interpolation and SAT-based model checking","author":"mcmillan","year":"2003","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40922-X_8","article-title":"Checking safety properties using induction and a SAT-solver","author":"sheeran","year":"2000","journal-title":"Proc FMCAD '00 2th Int Conf on Formal Methods in Computer-aided Design"},{"key":"5","author":"kurshan","year":"1994","journal-title":"Computer Aided Verification of Coordinating Processes"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614938"},{"key":"9","article-title":"REVERSE: Efficient sequential verification for retiming","author":"mneimneh","year":"2003","journal-title":"Proc Int Workshop on Logic Synthesis"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40922-X_23","article-title":"SAT-based verification without state space traversal","author":"bjesse","year":"2000","journal-title":"Proc FMCAD '00 2th Int Conf on Formal Methods in Computer-aided Design"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560220.pdf?arnumber=1560220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T01:12:54Z","timestamp":1555031574000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560220\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560220","relation":{},"subject":[]}}