{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:50:00Z","timestamp":1729651800968,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iccad.2017.8203768","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:02:04Z","timestamp":1513288924000},"page":"117-122","source":"Crossref","is-referenced-by-count":2,"title":["Accelerating functional timing analysis with encoding duplication removal and redundant state propagation"],"prefix":"10.1109","author":[{"given":"Denny C.-Y.","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pin-Ru","family":"Jhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles H.-P.","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TCAD.2009.2013269","article-title":"Efficient boolean characteristic function for timed automatic test pattern generation","volume":"28","author":"kuo","year":"2009","journal-title":"IEEE IEEE Trans Comput-Aided Design Integr Circuits Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2256461"},{"journal-title":"Plingeling sat solver","year":"0","author":"sridharan","key":"ref6"},{"key":"ref5","article-title":"TA-FTA: Transition-aware functional timing analysis with a four-valued encoding","author":"jasper","year":"2015","journal-title":"ACM\/IEEE Design Automation Conference (DAC)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2160916.2160950"},{"journal-title":"IWLS 2005 Benchmarks","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.402501"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/504914.504920"}],"event":{"name":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2017,11,13]]},"location":"Irvine, CA","end":{"date-parts":[[2017,11,16]]}},"container-title":["2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8167715\/8203744\/08203768.pdf?arnumber=8203768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T21:42:07Z","timestamp":1643146927000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8203768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/iccad.2017.8203768","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}