{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:21:46Z","timestamp":1759332106978,"version":"3.37.3"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["16ES021"],"award-info":[{"award-number":["16ES021"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011993","name":"Robert Bosch","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100011993","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Intel AG"},{"DOI":"10.13039\/100007053","name":"Mentor Graphics","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007053","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/tcad.2018.2864238","type":"journal-article","created":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T19:09:11Z","timestamp":1533668951000},"page":"1785-1798","source":"Crossref","is-referenced-by-count":9,"title":["Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5358-739X","authenticated-orcid":false,"given":"Carna","family":"Zivkovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5930-7563","authenticated-orcid":false,"given":"Christoph","family":"Grimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9851-5982","authenticated-orcid":false,"given":"Markus","family":"Olbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7975-788X","authenticated-orcid":false,"given":"Oliver","family":"Scharf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5744-2940","authenticated-orcid":false,"given":"Erich","family":"Barke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/DATE.2003.1253639"},{"year":"2003","journal-title":"SystemC 2 0 1 Language Reference Manual","key":"ref38"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.4204\/EPTCS.247.1"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/PRIME.2016.7519482"},{"year":"2013","author":"putot","journal-title":"Lecture Notes Digicosme Spring School 2013 Static Analysis of Numerical Programs and Systems","key":"ref31"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ISCAS.2006.1692752"},{"year":"2010","journal-title":"GNU Linear Programming Kit","key":"ref37"},{"year":"2006","author":"gay","journal-title":"Libaffa - C++ Affine Arithmetic Library for GNU\/Linux","key":"ref36"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/3061639.3072949"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/81.883323"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.5540\/tema.2003.04.03.0297"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TCAD.2004.839469","article-title":"Analysis of mixed-signal systems with affine arithmetic","volume":"24","author":"grimm","year":"2005","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/TDC-LA.2008.4641763"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/SIES.2011.5953662"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-642-22110-1_30"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/j.scico.2011.07.006"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/TSE.2005.13"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TCAD.2013.2245941"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/1687399.1687401"},{"key":"ref26","first-page":"88","author":"a?tef?noaei","year":"2016","journal-title":"A Compositional Approach to the Verification of Hybrid Systems"},{"key":"ref25","first-page":"200","author":"frehse","year":"2006","journal-title":"On Timed Simulation Relations for Hybrid Systems and Compositionality"},{"key":"ref10","first-page":"607","article-title":"Optimization of SC \n$\\Sigma \\Delta $\n modulators based on worst-case-aware Pareto-optimal fronts","author":"zou","year":"2007","journal-title":"Proc IEEE Custom Integr Circuits Conf (CICC)"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TCAD.2010.2071250"},{"year":"2010","author":"barnasconi","journal-title":"Standard SystemC AMS Language Reference Manual","key":"ref40"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/JPROC.2006.889371"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref14","first-page":"21","author":"dang","year":"2004","journal-title":"Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICCAD.2011.6105400"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/ICCAD.2004.1382573"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/FAMCAD.2007.25"},{"key":"ref18","first-page":"66","article-title":"Method of ellipsoids: Guaranteed estimation in dynamical systems under uncertainties and control","author":"chernousko","year":"1994","journal-title":"Proc Abstracts Int Conf Interval Comput Algebraic Methods Sci Eng (INTERVAL)"},{"key":"ref19","first-page":"540","author":"le guernic","year":"2009","journal-title":"Reachability Analysis of Hybrid Systems Using Support Functions"},{"key":"ref4","first-page":"59","article-title":"A SystemC virtual prototyping based methodology for multi-standard SoC functional verification","author":"chen","year":"2014","journal-title":"Proc ACM 51st Annu Design Autom Conf (DAC)"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/DDECS.2010.5491760"},{"key":"ref6","first-page":"3","article-title":"Automatic behavioral model generator for mixed-signal circuits based on structure recognition and auto-calibration","author":"chen","year":"2005","journal-title":"Proc Int SoC Design Conf (ISOCC)"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/1057661.1057730"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/ICCAD.1996.569824"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/VLSI-SoC.2017.8203462"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/ASPDAC.2008.4484009"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ASPDAC.2005.1466208"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1145\/2591513.2591593"},{"year":"2016","author":"radojicic","article-title":"Symbolic simulation of mixed-signal systems with extended affine arithmetic","key":"ref45"},{"key":"ref48","first-page":"337","author":"de moura","year":"2008","journal-title":"Z3 An efficient SMT solver"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1109\/FMCAD.2016.7886677"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/ASPDAC.2008.4484053"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/TCS.1975.1084079","article-title":"The modified nodal approach to network analysis","volume":"22","author":"ho","year":"1975","journal-title":"IEEE Trans Circuits Syst"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1109\/TAC.2013.2285751"},{"year":"2006","author":"cellier","journal-title":"Continuous System Simulation","key":"ref43"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8844133\/08428606.pdf?arnumber=8428606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:57:28Z","timestamp":1657745848000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8428606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":49,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2864238","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}