{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:12:50Z","timestamp":1725487970559},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090920","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:39Z","timestamp":1361279799000},"page":"1602-1607","source":"Crossref","is-referenced-by-count":0,"title":["An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification"],"prefix":"10.1109","author":[{"given":"N.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TCAD.2008.925777"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/TEST.1989.82322"},{"key":"14","article-title":"scalable error detection using boolean satisfiability","author":"xie","year":"2005","journal-title":"Proc of TOPLAS"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/1233501.1233663"},{"key":"12","article-title":"testability analysis for software components","author":"nguyen","year":"2002","journal-title":"Proc ICS"},{"key":"3","first-page":"168","article-title":"a tool for checking ansi-c programs","author":"clarke","year":"2004","journal-title":"Proc of TACAS"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/978-3-540-71209-1_28"},{"year":"2008","author":"babi'c","journal-title":"Exploiting Structure for Scalable Software Verification","key":"1"},{"key":"10","article-title":"formal verification on the rt level computing one-to-one design abstractions by signal width reduction","author":"johannsen","year":"2001","journal-title":"Proc IFIP Int Conf Very Large-Scale Integr"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1145\/1512464.1512473"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICCD.2007.4601875"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/ICCD.2005.77"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-3-540-31980-1_40"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/DAC.2000.855289"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ICCAD.1998.144248"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090920.pdf?arnumber=5090920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T13:51:44Z","timestamp":1489758704000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090920\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090920","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}