{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T08:11:31Z","timestamp":1767773491104},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691161","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T17:22:41Z","timestamp":1394212961000},"page":"486-493","source":"Crossref","is-referenced-by-count":5,"title":["Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization"],"prefix":"10.1109","author":[{"given":"Taehwan","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Do-Gyoon","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sangho","family":"Youn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaejin","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hojin","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaeha","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1090.0754"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011255519438"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1494-6","author":"stein","year":"1999","journal-title":"Interpolation of Spatial Data Some Theory for Kriging"},{"journal-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)","year":"2006","author":"bishop","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-006-9040-1"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2010.2072390"},{"key":"2","article-title":"Some \"real world\" problems in the analog and mixed signal domains","author":"jones","year":"2008","journal-title":"Proc Second Workshop on Designing Correct Circuits"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228456"},{"key":"1","article-title":"When SPICE is not enough: Global convergence failures in 'digi-log' systems","author":"kim","year":"2009","journal-title":"IEEE\/ACM Int'l Conf Computer-aided Design (ICCAD)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1366110.1366160"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024841"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429423"},{"key":"4","article-title":"Oscillator verification with probability one","author":"yan","year":"2012","journal-title":"Proc Formal Methods in Computer-Aided Design"},{"key":"9","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/43.848091","article-title":"ANACONDA: Simulation-based synthesis of analog circuits via stochastic pattern search","author":"phelps","year":"2000","journal-title":"IEEE Trans Computer-Aided Design of Integrated Circuits and Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.810742"}],"event":{"name":"2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2013,11,18]]},"location":"San Jose, CA","end":{"date-parts":[[2013,11,21]]}},"container-title":["2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679730\/6691081\/06691161.pdf?arnumber=6691161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:15:28Z","timestamp":1498108528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691161\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691161","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}