{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:53Z","timestamp":1759146893615,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,4]],"date-time":"2008-05-04T00:00:00Z","timestamp":1209859200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,4]]},"DOI":"10.1145\/1366110.1366160","type":"proceedings-article","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T14:37:21Z","timestamp":1210084641000},"page":"201-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Verifying start-up conditions for a ring oscillator"],"prefix":"10.1145","author":[{"given":"Mark R.","family":"Greenstreet","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}]},{"given":"Suwen","family":"Yang","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}]}],"member":"320","published-online":{"date-parts":[[2008,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Some 'real world' problems in the analog and mixed signal domains,\" in Proc. Designing Correct Circuits","author":"Jones K.D.","year":"2008","unstructured":"K.D. Jones , J. Kim and V. Konrad , \" Some 'real world' problems in the analog and mixed signal domains,\" in Proc. Designing Correct Circuits Apr. 2008 . K.D. Jones, J.Kim and V. Konrad, \"Some 'real world' problems in the analog and mixed signal domains,\" in Proc. Designing Correct Circuits Apr. 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"e_1_3_2_1_3_1","first-page":"41","volume-title":"Workshop on Formal Methods for the Verification of Analog Circuits","author":"Myers C.","year":"2005","unstructured":"C. Myers , R. Harrison , case for analog circuit verification,\" in Proc . Workshop on Formal Methods for the Verification of Analog Circuits , Apr. 2005 , pp. 41 -- 51 . C. Myers, R. Harrison, et al., \"The case for analog circuit verification,\" in Proc. Workshop on Formal Methods for the Verification of Analog Circuits, Apr. 2005, pp. 41--51."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514055"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_3_2_1_7_1","first-page":"257","article-title":"Verifying analog oscillator circuits using forward\/backward abstraction refinement","author":"Frehse G.","year":"2006","unstructured":"G. Frehse , B.H. Krogh , and R.A. Rutenbar , \" Verifying analog oscillator circuits using forward\/backward abstraction refinement ,\" in Proc. of Design Automation and Test Europe , Mar. 2006 , pp. 257 -- 262 . G. Frehse, B.H. Krogh, and R.A. Rutenbar, \"Verifying analog oscillator circuits using forward\/backward abstraction refinement,\" in Proc. of Design Automation and Test Europe, Mar. 2006, pp. 257--262.","journal-title":"Proc. of Design Automation and Test Europe"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233556"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127984"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1333874.1334145"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_3"},{"key":"e_1_3_2_1_12_1","first-page":"683","volume-title":"European Circuit Theory and Design Conf.","author":"Kronenberg L.","year":"1999","unstructured":"L. Kronenberg , L. Trajkovic , and W. Mathis , \" Analysis of feedback structures and their effect on multiple DC operating points,\" in Proc . European Circuit Theory and Design Conf. , Aug. 1999 , pp. 683 -- 686 . L. Kronenberg, L. Trajkovic, and W. Mathis, \"Analysis of feedback structures and their effect on multiple DC operating points,\" in Proc. European Circuit Theory and Design Conf., Aug. 1999, pp. 683--686."},{"key":"e_1_3_2_1_13_1","volume-title":"Dynamical Systems, and Linear Algebra.","author":"Hirsch M.W.","year":"1974","unstructured":"M.W. Hirsch and S. Smale , Differential Equations , Dynamical Systems, and Linear Algebra. San Diego, CA : Academic Press , 1974 . M.W. Hirsch and S. Smale, Differential Equations, Dynamical Systems, and Linear Algebra. San Diego, CA: Academic Press, 1974."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/4.760367"},{"key":"e_1_3_2_1_15_1","first-page":"294","volume-title":"43rd IEEE Midwest Symp. Circuits and Systems","author":"Djahanshahi H.","year":"2000","unstructured":"H. Djahanshahi and C. Salama , \" A two--stage differential CCO implementation in submicron CMOS,\" in Proc . 43rd IEEE Midwest Symp. Circuits and Systems , Aug. 2000 , pp. 294 -- 297 . H. Djahanshahi and C. Salama, \"A two--stage differential CCO implementation in submicron CMOS,\" in Proc. 43rd IEEE Midwest Symp. Circuits and Systems, Aug. 2000, pp. 294--297."},{"key":"e_1_3_2_1_16_1","first-page":"469","volume-title":"29th European Solid-State Circuits Conference","author":"Nissinen I.","year":"2003","unstructured":"I. Nissinen , A. Mantyniemi , and J. Kostamovaara , \" A CMOS time--to--digital converter based on a ring oscillator for a laser radar,\" in Proc . 29th European Solid-State Circuits Conference , Sept. 2003 , pp. 469 -- 472 . I. Nissinen, A. Mantyniemi, and J. Kostamovaara, \"A CMOS time--to--digital converter based on a ring oscillator for a laser radar,\" in Proc. 29th European Solid-State Circuits Conference, Sept. 2003, pp. 469--472."},{"key":"e_1_3_2_1_17_1","first-page":"5453","volume-title":"Symp. Circuits and Systems","author":"Unterberger E.","year":"2005","unstructured":"E. Tatschl-- Unterberger , S. Cyrusian , and M. Ruegg , \" A 2.5 GHz phase--switching PLL using a supply controlled 2-delay-stage 10 GHz ring oscillator for improved jitter\/mismatch,\" in Proc. IEEE Int'l . Symp. Circuits and Systems , May 2005 , pp. 5453 -- 5456 . E. Tatschl--Unterberger, S. Cyrusian, and M. Ruegg, \"A 2.5 GHz phase--switching PLL using a supply controlled 2-delay-stage 10 GHz ring oscillator for improved jitter\/mismatch,\" in Proc. IEEE Int'l. Symp. Circuits and Systems, May 2005, pp. 5453--5456."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/876877.879170"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2002.807099"}],"event":{"name":"GLSVLSI08: Great Lakes Symposium on VLSI 2008","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Orlando Florida USA","acronym":"GLSVLSI08"},"container-title":["Proceedings of the 18th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1366110.1366160","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1366110.1366160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:40Z","timestamp":1750255060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1366110.1366160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,4]]},"references-count":19,"alternative-id":["10.1145\/1366110.1366160","10.1145\/1366110"],"URL":"https:\/\/doi.org\/10.1145\/1366110.1366160","relation":{},"subject":[],"published":{"date-parts":[[2008,5,4]]},"assertion":[{"value":"2008-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}