{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:26:23Z","timestamp":1729664783487,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/vlsi-soc.2012.6379019","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T21:55:47Z","timestamp":1355867747000},"page":"135-140","source":"Crossref","is-referenced-by-count":4,"title":["Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Steinhorst","sequence":"first","affiliation":[]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","first-page":"223","article-title":"Error estimation on symbolic behavioral models of nonlinear analog circuits","author":"popp","year":"1998","journal-title":"SMACD '98 Proceedings of the 5th International Conference on Symbolic Methods and Applications to Circuit Design"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"garey","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/142675.142699","article-title":"Measuring the resemblace of polygonal curves","author":"alt","year":"1992","journal-title":"Proceedings of the 6th Annual ACM Symposium on Computational Geometry"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012684"},{"key":"12","first-page":"274","article-title":"Algorithms for Modern Circuit Simulation","volume":"46","author":"feldmann","year":"1992","journal-title":"Int J Electron Commun"},{"key":"3","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/978-3-540-75454-1_22","article-title":"Amt: A property-based monitoring tool for analog systems","volume":"4763","author":"nickovic","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255468"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837381"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/54.902824"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915085"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2007.06.005"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537507"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5651402"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1997.600291"}],"event":{"name":"2012 IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC)","start":{"date-parts":[[2012,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2012,10,10]]}},"container-title":["2012 IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC)"],"original-title":[],"deposited":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T21:58:02Z","timestamp":1687903082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6379019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2012.6379019","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}