{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:44:47Z","timestamp":1730342687165,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927226","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:34:41Z","timestamp":1494866081000},"page":"1486-1491","source":"Crossref","is-referenced-by-count":1,"title":["Quantifying error: Extending static timing analysis with probabilistic transitions"],"prefix":"10.23919","author":[{"given":"Kevin E.","family":"Murray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Suardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vaughn","family":"Betz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Constantinides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"journal-title":"CUDD CU Decision Diagram Package Relase 2 1 2","year":"2015","author":"somenzi","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2617593"},{"key":"ref13","article-title":"Logic Synthesis and Optimization Benchmarks User Guide 3.0","author":"yang","year":"1991","journal-title":"MCNC Tech Rep"},{"key":"ref14","first-page":"99","article-title":"The earth mover';s distance as a metric for image retrieval","volume":"40","author":"rubner","year":"2000","journal-title":"Int Journal of ComputerVision"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2013.6569370"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907047"},{"key":"ref6","first-page":"190:1","article-title":"Datapath synthesis for overclocking: Online arithmetic for latency-accuracy trade-offs","year":"2014","journal-title":"DAC"},{"key":"ref5","first-page":"29","article-title":"Accuracy-performance tradeoffs on an fpga through overclocking","author":"shi","year":"2013","journal-title":"IEEE FCCM"},{"key":"ref8","first-page":"562","article-title":"Signal probability based statistical timing analysis","author":"liu","year":"2008","journal-title":"DATE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/74382.74475"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IWSTM.2000.869299"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420007954.ch6"},{"key":"ref9","first-page":"20","article-title":"Model counting","author":"gomes","year":"2009","journal-title":"Handbook of Satisfiability"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927226.pdf?arnumber=7927226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T00:26:10Z","timestamp":1496190370000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927226","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}