{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:03Z","timestamp":1750306923453,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T00:00:00Z","timestamp":1352073600000},"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":[[2012,11,5]]},"DOI":"10.1145\/2429384.2429423","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"202-209","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Trajectory-directed discrete state space modeling for formal verification of nonlinear analog circuits"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Steinhorst","sequence":"first","affiliation":[{"name":"TUM CREATE, Singapore"}]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[{"name":"University of Frankfurt\/Main, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.97615"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255468"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1950815.1950817"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514055"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403453"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-30494-4_3","volume-title":"FMCAD","author":"Dang T.","year":"2004","unstructured":"T. Dang , A. Donz\u00e9 , and O. Maler . Verification of analog and mixed-signal circuits using hybrid system techniques . In A. J. Hu and A. K. Martin, editors, FMCAD , volume 3312 of Lecture Notes in Computer Science , pages 21 -- 36 . Springer , 2004 . T. Dang, A. Donz\u00e9, and O. Maler. Verification of analog and mixed-signal circuits using hybrid system techniques. In A. J. Hu and A. K. Martin, editors, FMCAD, volume 3312 of Lecture Notes in Computer Science, pages 21--36. Springer, 2004."},{"key":"e_1_3_2_1_8_1","first-page":"659","volume-title":"ICCAD '11: Proc. of the 2011 International Conference on Computer-Aided Design","author":"Althoff M.","year":"2011","unstructured":"M. Althoff , A. Rajhans , B. H. Krogh , S. Yaldiz , X. Li , and L. Pileggi . Formal verification of digital phase-locked loops using reachability analysis and continuization . In ICCAD '11: Proc. of the 2011 International Conference on Computer-Aided Design , pages 659 -- 666 , 2011 . M. Althoff, A. Rajhans, B. H. Krogh, S. Yaldiz, X. Li, and L. Pileggi. Formal verification of digital phase-locked loops using reachability analysis and continuization. In ICCAD '11: Proc. of the 2011 International Conference on Computer-Aided Design, pages 659--666, 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-007X(200003\/04)28:2<131::AID-CTA100>3.0.CO;2-W"},{"key":"e_1_3_2_1_10_1","volume-title":"Model checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model checking . Springer , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. Springer, 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Johns Hopkins Univ Pr","author":"Golub G. H.","year":"1996","unstructured":"G. H. Golub and C. F. Van Loan . Matrix computations . Johns Hopkins Univ Pr , 1996 . G. H. Golub and C. F. Van Loan. Matrix computations. Johns Hopkins Univ Pr, 1996."},{"key":"e_1_3_2_1_12_1","volume-title":"The SPICE book","author":"Vladimirescu A.","year":"1994","unstructured":"A. Vladimirescu . The SPICE book . John Wiley & Sons, Inc. New York, NY, USA , 1994 . A. Vladimirescu. The SPICE book. John Wiley & Sons, Inc. New York, NY, USA, 1994."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/98524.98564"},{"key":"e_1_3_2_1_14_1","volume-title":"Seventh International Workshop on 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 G. J. Pace and S. Singh, editors , Seventh International Workshop on Designing Correct Circuits , Budapest, pages 15--29. ETAPS 2008 , March 2008. K. D. Jones, J. Kim, and V. Konrad. Some 'real world' problems in the analog and mixed signal domains. In G. J. Pace and S. Singh, editors, Seventh International Workshop on Designing Correct Circuits, Budapest, pages 15--29. ETAPS 2008, March 2008."}],"event":{"name":"ICCAD '12: The International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"],"location":"San Jose California","acronym":"ICCAD '12"},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429423","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429384.2429423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:25Z","timestamp":1750235725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,5]]},"references-count":14,"alternative-id":["10.1145\/2429384.2429423","10.1145\/2429384"],"URL":"https:\/\/doi.org\/10.1145\/2429384.2429423","relation":{},"subject":[],"published":{"date-parts":[[2012,11,5]]},"assertion":[{"value":"2012-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}