{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:02:26Z","timestamp":1761580946505,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iccad.2011.6105400","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T13:06:43Z","timestamp":1324559203000},"page":"659-666","source":"Crossref","is-referenced-by-count":26,"title":["Formal verification of phase-locked loops using reachability analysis and continuization"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Soner","family":"Yaldiz","sequence":"additional","affiliation":[]},{"given":"Akshay","family":"Rajhans","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[]},{"given":"Larry","family":"Pileggi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004","journal-title":"FORMATS\/FTRTFT"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1142\/S0129054110007209"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-540-30476-0_35"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/s10703-009-0085-x"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/43.97615"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"14","first-page":"265","article-title":"Verification of digital and hybrid systems","volume":"170","author":"henzinger","year":"2000","journal-title":"NATO ASI Series F Computer and Systems Sciences Chapter the Theory of Hybrid Automata"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1016\/j.entcs.2006.01.026"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"21","first-page":"249","article-title":"A symbolic methodology for the verification of analog and mixed signal designs","author":"al sammane","year":"2007","journal-title":"DATE"},{"key":"20","first-page":"293","article-title":"Towards assertion based verification of analog and mixed signal designs using PSL","author":"al sammane","year":"2007","journal-title":"FDL"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/ICCAD.2010.5651402"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1007\/s10703-009-0086-9"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1145\/1687399.1687401"},{"key":"25","first-page":"2223","article-title":"Verification of analog\/mixed-signal circuits using symbolic methods. Computer-Aided Design of Integrated Circuits and Systems","volume":"27","author":"walter","year":"2008","journal-title":"IEEE Transactions on"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1109\/IMS3TW.2009.5158695"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1109\/FAMCAD.2007.25"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1016\/j.mejo.2008.05.013"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1007\/s10703-009-0076-y"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1002\/0471732699"},{"year":"2010","author":"althoff","journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"International Journal on Software Tools for Technology Transfer"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/FMCAD.2009.5351136"},{"key":"5","first-page":"21","article-title":"Verification of analog and mixed-signal circuits using hybrid system techniques","volume":"3312","author":"dang","year":"2004","journal-title":"FMCAD"},{"year":"2000","author":"clarke","journal-title":"Model checking","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/DATE.2006.244113"},{"key":"8","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"LNCS"}],"event":{"name":"2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2011,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6095474\/6105287\/06105400.pdf?arnumber=6105400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:43:31Z","timestamp":1497944611000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6105400\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iccad.2011.6105400","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}