{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:54Z","timestamp":1759146894758},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,10,2]],"date-time":"2009-10-02T00:00:00Z","timestamp":1254441600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10703-009-0086-9","type":"journal-article","created":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T18:15:53Z","timestamp":1254420953000},"page":"131-147","source":"Crossref","is-referenced-by-count":23,"title":["Advanced methods for equivalence checking of analog circuits with strong nonlinearities"],"prefix":"10.1007","volume":"36","author":[{"given":"Sebastian","family":"Steinhorst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,2]]},"reference":[{"issue":"3","key":"86_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1049\/ip-cdt:20045116","volume":"152","author":"GGE Gielen","year":"2005","unstructured":"Gielen GGE (2005) Cad tools for embedded analogue circuits in mixed-signal integrated systems on chip. Comput Digit Tech IEE Proc 152(3):317\u2013332","journal-title":"Comput Digit Tech IEE Proc"},{"key":"86_CR2","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-60045-0_53","volume-title":"CAV \u201995: International conference on computer-aided verification","author":"TA Henzinger","year":"1995","unstructured":"Henzinger TA, Ho P-H (1995) Algorithmic analysis of nonlinear hybrid systems. In: CAV \u201995: International conference on computer-aided verification. LNCS, vol 939(7). Springer, Berlin, pp 225\u2013238"},{"key":"86_CR3","doi-asserted-by":"crossref","unstructured":"Dang T, Donze A, Maler O (2004) Verification of analog and mixed-signal circuits using hybrid system techniques. In: FMCAD 04: Formal methods in computer-aided design","DOI":"10.1007\/978-3-540-30494-4_3"},{"key":"86_CR4","doi-asserted-by":"crossref","unstructured":"Al-Sammane G, Zaki MH, Tahar S (2007) A symbolic methodology for the verification of analog and mixed signal designs. In: DATE \u201907: Proceedings of the conference on design, automation and test in Europe, pp 249\u2013254","DOI":"10.1109\/DATE.2007.364599"},{"key":"86_CR5","doi-asserted-by":"crossref","unstructured":"Frehse G, Krogh BH, Rutenbar RA (2006) Verifying analog oscillator circuits using forward\/backward abstraction refinement. In: DATE \u201906: Proceedings of the conference on design, automation and test in Europe, pp 257\u2013262","DOI":"10.1109\/DATE.2006.244113"},{"key":"86_CR6","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/3-540-45657-0_33","volume-title":"CAV \u201902: International conference on computer-aided verification","author":"W Hartong","year":"2002","unstructured":"Hartong W, Hedrich L, Barke E (2002) On discrete modeling and model checking for nonlinear analog systems. In: CAV \u201902: International conference on computer-aided verification. LNCS, vol 2404. Springer, Berlin, pp 401\u2013413"},{"key":"86_CR7","unstructured":"Dastidar TR, Chakrabarti PP (2005) A verification system for transient response of analog circuits using model checking. In: VLSID \u201905: International conference on VLSI design, pp 195\u2013200"},{"key":"86_CR8","doi-asserted-by":"crossref","unstructured":"Grabowski D, Olbrich M, Grimm Ch, Barke E (2008) Analog circuit simulation using range arithmetics. In: ASPDAC, pp 762\u2013767","DOI":"10.1109\/ASPDAC.2008.4484053"},{"key":"86_CR9","doi-asserted-by":"crossref","unstructured":"Zaki MH, Tahar S, Bois G (2006) Formal verification of analog and mixed signal designs: survey and comparison. In: IEEE north-east workshop on circuits and systems, pp 281\u2013284","DOI":"10.1109\/NEWCAS.2006.250926"},{"key":"86_CR10","doi-asserted-by":"crossref","unstructured":"Hedrich L, Barke E (1995) A formal approach to nonlinear analog circuit verification. In: ICCAD \u201995: International conference on computer aided design, pp 123\u2013127","DOI":"10.1109\/ICCAD.1995.480002"},{"key":"86_CR11","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/1-4020-2530-0_6","volume-title":"Advanced formal verification","author":"W Hartong","year":"2004","unstructured":"Hartong W, Klausen R, Hedrich L (2004) Formal verification for nonlinear analog systems: approaches to model and equivalence checking. In: Drechsler R. (ed) Advanced formal verification. Kluwer Academic, Boston, pp 205\u2013245"},{"issue":"6","key":"86_CR12","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/TCS.1975.1084079","volume":"22","author":"CW Ho","year":"1975","unstructured":"Ho CW, Ruehli AE, Brennan PA (1975) The modified nodal approach to network analysis. IEEE Trans Circuits Syst 22(6):504\u2013509","journal-title":"IEEE Trans Circuits Syst"},{"key":"86_CR13","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/0-306-48089-1_8","volume-title":"Low-power design techniques and CAD tools for analog and RF integrated circuits","author":"L Hedrich","year":"2001","unstructured":"Hedrich L, Hartong W (2001) Approaches to formal verification of analog circuits. In: Wambacq P (ed) Low-power design techniques and CAD tools for analog and RF integrated circuits. Kluwer Academic, Boston, pp 155\u2013191"},{"key":"86_CR14","unstructured":"M\u00e4rz R (1991) Numerical methods for differential algebraic equations. Acta Numer 141\u2013198"},{"key":"86_CR15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0024-3795(79)90035-1","volume":"27","author":"P Dooren Van","year":"1979","unstructured":"Van Dooren P (1979) The computation of Kronecker\u2019s canonical form of a singular pencil. J Linear Algebra Appl 27:103\u2013140","journal-title":"J Linear Algebra Appl"},{"key":"86_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3198-4","volume-title":"Model order reduction techniques with applications in electrical engineering","author":"L Fortuna","year":"1992","unstructured":"Fortuna L, Nunnari G, Gallo A (1992) Model order reduction techniques with applications in electrical engineering. Springer, Berlin"},{"issue":"5","key":"86_CR17","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1109\/43.384428","volume":"14","author":"P Feldmann","year":"1995","unstructured":"Feldmann P, Freund RW (1995) Efficient linear circuits analysis by Pade approximation via the Lanczos process. IEEE Trans Comput-Aided Des Integr Circuits Syst 14(5):639\u2013649","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-009-0086-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-009-0086-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-009-0086-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:51Z","timestamp":1559253951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-009-0086-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,2]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["86"],"URL":"https:\/\/doi.org\/10.1007\/s10703-009-0086-9","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,2]]}}}