{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:59Z","timestamp":1759146419077,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/iscas.2010.5537507","type":"proceedings-article","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T18:13:20Z","timestamp":1281377600000},"page":"645-648","source":"Crossref","is-referenced-by-count":12,"title":["Improving verification coverage of analog circuit blocks by state space-guided transient simulation"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Steinhorst","sequence":"first","affiliation":[]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243779"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1997.600291"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"ref11","first-page":"274","article-title":"Algorithms for Modern Circuit Simulation","volume":"46","author":"feldmann","year":"1992","journal-title":"Int J Electron Commun"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090759"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"michael garey","key":"ref12"},{"key":"ref8","first-page":"542","article-title":"Model checking algorithms for analog verification","author":"hartong","year":"0","journal-title":"Proceedings of the 39th conference on Design automation (DAC '02)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255468"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/54.902824"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915085"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484700"}],"event":{"name":"2010 IEEE International Symposium on Circuits and Systems - ISCAS 2010","start":{"date-parts":[[2010,5,30]]},"location":"Paris, France","end":{"date-parts":[[2010,6,2]]}},"container-title":["Proceedings of 2010 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5512009\/5536941\/05537507.pdf?arnumber=5537507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:09:19Z","timestamp":1489864159000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5537507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iscas.2010.5537507","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}