{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:00:58Z","timestamp":1729630858920,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/test.2009.5355650","type":"proceedings-article","created":{"date-parts":[[2009,12,24]],"date-time":"2009-12-24T13:29:18Z","timestamp":1261661358000},"page":"1-10","source":"Crossref","is-referenced-by-count":15,"title":["AutoRex: An automated post-silicon clock tuning tool"],"prefix":"10.1109","author":[{"given":"D.","family":"Tadesse","sequence":"first","affiliation":[]},{"given":"J.","family":"Grodstein","sequence":"additional","affiliation":[]},{"given":"R. I.","family":"Bahar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382649"},{"key":"17","first-page":"62","article-title":"A scalable x86 cpu design for 90 nm process","volume":"1","author":"schutz","year":"2004","journal-title":"Solid-State Circuits Conference 2004 Digest of Technical Papers ISSCC 2004 IEEE International"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2422.322411"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_3"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2005.859894"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2008.4700565"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2005.61"},{"key":"12","doi-asserted-by":"crossref","first-page":"3670","DOI":"10.1109\/ICSMC.2004.1400913","article-title":"Postfabrication clock timing adjustment for digital lsis with genetic algorithms ensuring timing margins","volume":"4","author":"murakawa","year":"2004","journal-title":"Proc 2004 IEEE Int Conf Systems Man and Cybernetics"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LPE.2006.4271829"},{"key":"2","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-45657-0_18","article-title":"Checking satisfiability of first-order formulas by incremental translation to sat.","author":"barrett","year":"2002","journal-title":"CAV ' 02 Proceedings of the 14th International Conference on Computer Aided Verification"},{"key":"1","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-73368-3_34","volume":"4590","author":"barrett","year":"2007","journal-title":"Proceedings of the 19th International Conference on Computer Aided Verification (CAV '07)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74621-8_1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/12.55696"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.812371"},{"key":"5","article-title":"The yices smt solver","author":"dutertre","year":"2006","journal-title":"SRI International Technical Report"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICICDT.2005.1502575"},{"key":"9","first-page":"390","article-title":"Silicon speedpath measurement and feedback into EDA flows","author":"killpack","year":"2007","journal-title":"Design Automation Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146915"}],"event":{"name":"2009 IEEE International Test Conference (ITC)","start":{"date-parts":[[2009,11,1]]},"location":"Austin, TX, USA","end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5348788\/5355529\/05355650.pdf?arnumber=5355650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T15:44:25Z","timestamp":1558712665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5355650\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/test.2009.5355650","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}