{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:47:25Z","timestamp":1729676845159,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/aspdac.2013.6509691","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T23:36:53Z","timestamp":1367624213000},"page":"755-760","source":"Crossref","is-referenced-by-count":2,"title":["Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter"],"prefix":"10.1109","author":[{"family":"Yang Song","sequence":"first","affiliation":[]},{"family":"Haipeng Fu","sequence":"additional","affiliation":[]},{"family":"Hao Yu","sequence":"additional","affiliation":[]},{"family":"Guoyong Shi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Multi-Parametric Toolbox (MPT)","year":"0","author":"kvasnica","key":"15"},{"key":"13","article-title":"Automated oscillator macromodelling techniques for capturing amplitude variations and injection locking","author":"lai","year":"2004","journal-title":"IEEE Int Conf of Computer-aided-design (ICCAD)"},{"key":"14","volume":"28","author":"harutyunyan","year":"2009","journal-title":"Simulation of Mutually Coupled Oscillators Using Nonlinear Phase Macromodels"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105400"},{"key":"12","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"HSCC'05 Proceedings of the 8th International Conference on Hybrid Systems Computation and Control Number 291-305"},{"key":"3","article-title":"A dividerless pll with low power and low reference spur by aperture-phase detector and phase-to-analog converter","author":"cai","year":"2012","journal-title":"IEEE Transactions on Circuits and Systems-I (TCAS-I)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2009.2032584"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1109\/JSSC.2011.2166030","article-title":"A 65nm cmos 4-channel sub-34mw\/channel 60ghz phased array transceiver","author":"tabesh","year":"2011","journal-title":"IEEE Int Solid-State Circuits Conf (ISSCC)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244113"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2000.852704"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/81.847872"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/4.658619"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9780470545492"},{"key":"9","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"althoff","year":"2010","journal-title":"PhD Dissertation TUM"},{"key":"8","article-title":"Fast, accurate prediction of pll jitter induced by power grid noise","author":"lai","year":"2004","journal-title":"IEEE Custom Integrated Circuits Conf (CICC)"}],"event":{"name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013)","start":{"date-parts":[[2013,1,22]]},"location":"Yokohama","end":{"date-parts":[[2013,1,25]]}},"container-title":["2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6507004\/6509548\/06509691.pdf?arnumber=6509691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T12:31:15Z","timestamp":1498048275000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6509691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2013.6509691","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}