{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:35Z","timestamp":1725494315141},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_10","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T10:03:37Z","timestamp":1194084217000},"page":"114-128","source":"Crossref","is-referenced-by-count":11,"title":["Analog\/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces"],"prefix":"10.1007","author":[{"given":"Scott","family":"Little","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Walter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Myers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/3-540-45657-0_33","volume-title":"Proc. International Conference on Computer Aided Verification (CAV)","author":"W. Hartong","year":"2002","unstructured":"Hartong, W., Hedrich, L., Barke, E.: On discrete modeling and model checking for nonlinear analog systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 401\u2013413. Springer, Heidelberg (2002)"},{"key":"10_CR2","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":"T. Dang","year":"2004","unstructured":"Dang, T., Donz\u00e9, A., Maler, O.: Verification of analog and mixed-signal circuits using hybrid systems techniques. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, pp. 21\u201336. Springer, Heidelberg (2004)"},{"key":"10_CR3","first-page":"257","volume-title":"Proc. Design, Automation and Test in Europe (DATE)","author":"G. Frehse","year":"2006","unstructured":"Frehse, G., Krogh, B.H., Rutenbar, R.A.: Verifying analog oscillator circuits using forward\/backward refinement. In: Proc. Design, Automation and Test in Europe (DATE), pp. 257\u2013262. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1145\/1233501.1233556","volume-title":"ICCAD","author":"S. Little","year":"2006","unstructured":"Little, S., Seegmiller, N., Walter, D., Myers, C., Yoneda, T.: Verification of analog\/mixed-signal circuits using labeled hybrid petri nets. In: ICCAD. Proc. International Conference on Computer Aided Design, pp. 275\u2013282. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Walter, D., Little, S., Seegmiller, N., Myers, C.J., Yoneda, T.: Symbolic model checking of analog\/mixed-signal circuits. In: Asia and South Pacific Design Automation Conference (ASPDAC), pp. 316\u2013323 (2007)","DOI":"10.1109\/ASPDAC.2007.358005"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-75596-8_7","volume-title":"ATVA 2007","author":"D. Walter","year":"2007","unstructured":"Walter, D., Little, S., Myers, C.: Bounded model checking of analog and mixed-signal circuits using an SMT solver. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 66\u201381. Springer, Heidelberg (2007)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"HSCC","author":"A. Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC. LNCS, vol.\u00a04416, Springer, Heidelberg (2007)"},{"key":"10_CR8","unstructured":"Dang, T., Nahhal, T.: Randomized simulation of hybrid systems for circuit validation. Technical report, VERIMAG (May 2006)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11730637_22","volume-title":"HSCC","author":"A. Girard","year":"2006","unstructured":"Girard, A., Pappas, G.J.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 272\u2013286. Springer, Heidelberg (2006)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/11867340_13","volume-title":"FORMATS","author":"G.E. Fainekos","year":"2006","unstructured":"Fainekos, G.E., Girard, A., Pappas, G.J.: Temporal logic verification using simulation. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 171\u2013186. Springer, Heidelberg (2006)"},{"key":"10_CR11","first-page":"195","volume-title":"VLSI Design","author":"T.R. Dastidar","year":"2005","unstructured":"Dastidar, T.R., Chakrabarti, P.P.: A verification system for transient response of analog circuits using model checking. In: VLSI Design, pp. 195\u2013200. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"10_CR12","unstructured":"Walter, D.C.: Verification of analog and mixed-signal circuits using symbolic methods. PhD thesis, University of Utah (May 2007)"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.entcs.2006.02.018","volume":"153","author":"C.J. Myers","year":"2006","unstructured":"Myers, C.J., Harrison, R.R., Walter, D., Seegmiller, N., Little, S.: The case for analog circuit verification. Electronic Notes Theoretical Computer Science 153(3), 53\u201363 (2006)","journal-title":"Electronic Notes Theoretical Computer Science."},{"issue":"1\u20132","key":"10_CR14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R. David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid petri nets. Discrete Event Dynamic Systems: Theory and Applications\u00a011(1\u20132), 9\u201340 (2001)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) Hybrid Systems. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:25:20Z","timestamp":1619504720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_10","relation":{},"subject":[]}}