{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,19]],"date-time":"2023-07-19T12:30:28Z","timestamp":1689769828731},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/tcad.2012.2202392","type":"journal-article","created":{"date-parts":[[2012,10,16]],"date-time":"2012-10-16T14:03:22Z","timestamp":1350396202000},"page":"1684-1697","source":"Crossref","is-referenced-by-count":9,"title":["Variation-Aware False Path Analysis Based on Statistical Dynamic Timing Analysis"],"prefix":"10.1109","volume":"31","author":[{"family":"Jongyoon Jung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Taewhan Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297684"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2009.17"},{"key":"ref12","first-page":"44","article-title":"Efficient algorithms for solving the false path problem in timing verification","author":"benkoski","year":"1987","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/12.5996"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.62737"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1145\/74382.74477","article-title":"static timing analysis of dynamically sensitizable paths","author":"perremans","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/74382.74475","article-title":"on the general false path problem in timing analysis","author":"du","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.251155"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3960-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159781"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159746"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2009143"},{"key":"ref5","first-page":"331","article-title":"First-order incremental block-based statistical timing analysis","author":"visweswariah","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012689"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1145\/74382.74476","article-title":"efficient algorithms for computing the longest viable path in a combinational network","author":"mcgeer","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159744"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379043"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5597-1","author":"krstic","year":"1998","journal-title":"Delay Fault Testing for VLSI Circuits"},{"key":"ref20","first-page":"502","article-title":"An extensible SAT-solver","author":"en","year":"2003","journal-title":"Proc SAT"},{"key":"ref21","year":"2005","journal-title":"IWLS Benchmarks"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6331635\/06331645.pdf?arnumber=6331645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T10:14:09Z","timestamp":1510654449000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6331645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":21,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2012.2202392","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}