{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:20Z","timestamp":1750308560274,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1145\/2660540.2661010","type":"proceedings-article","created":{"date-parts":[[2014,10,31]],"date-time":"2014-10-31T19:32:56Z","timestamp":1414783976000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Simulation Based Verification with Range Based Signal Representations for Mixed-Signal Systems"],"prefix":"10.1145","author":[{"given":"Michael","family":"Kaergel","sequence":"first","affiliation":[{"name":"Institute of Microelectronic Systems, Leibniz Universit\u00e4t Hannover, Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Olbrich","sequence":"additional","affiliation":[{"name":"Institute of Microelectronic Systems, Leibniz Universit\u00e4t Hannover, Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Barke","sequence":"additional","affiliation":[{"name":"Institute of Microelectronic Systems, Leibniz Universit\u00e4t Hannover, Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Accellera Systems Initiative. SystemC. http:\/\/www.accellera.org.  Accellera Systems Initiative. SystemC. http:\/\/www.accellera.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266420"},{"key":"e_1_3_2_1_3_1","volume-title":"Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monograph","author":"de Figueiredo L. H.","year":"1997","unstructured":"L. H. de Figueiredo and J. Stolfi . Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monograph , 1997 . L. H. de Figueiredo and J. Stolfi. Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monograph, 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2006.1692752"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1356802.1356984"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008791128550"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024799"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514055"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_12_1","unstructured":"Institute of Microelectronic Systems. Computation Library for Affine Arithmetic. http:\/\/aaflib.sourceforge.net\/.  Institute of Microelectronic Systems. Computation Library for Affine Arithmetic. http:\/\/aaflib.sourceforge.net\/."},{"key":"e_1_3_2_1_13_1","volume-title":"International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","author":"Krause A.","year":"2012","unstructured":"A. Krause , M. Olbrich , and E. Barke . Enclosing the Modeling Error in Analog Behavioral Models Using Neural Networks and Affine Arithmetic . In International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) , 2012 . A. Krause, M. Olbrich, and E. Barke. Enclosing the Modeling Error in Analog Behavioral Models Using Neural Networks and Affine Arithmetic. In International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233556"},{"key":"e_1_3_2_1_15_1","unstructured":"R. E. Moore. Interval Analysis. Prentice-Hall New York 1966.  R. E. Moore. Interval Analysis. Prentice-Hall New York 1966."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/239064"},{"key":"e_1_3_2_1_17_1","volume-title":"Circuit Design, and Process Technology","author":"Scheffer L.","year":"2006","unstructured":"L. Scheffer , L. Lavagno , and G. E. Martin . EDA for IC Implementation , Circuit Design, and Process Technology . CRC Press , 2006 . L. Scheffer, L. Lavagno, and G. E. Martin. EDA for IC Implementation, Circuit Design, and Process Technology. CRC Press, 2006."}],"event":{"name":"SBCCI '14: 27th Symposium on Integrated Circuits and Systems Design","sponsor":["IEEE ICAS","SBC Brazilian Computer Society","IEEE Circuits and Systems Society","SIGDA ACM Special Interest Group on Design Automation","SBMICRO Brazilian Microelectronics Society"],"location":"Aracaju Brazil","acronym":"SBCCI '14"},"container-title":["Proceedings of the 27th Symposium on Integrated Circuits and Systems Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660540.2661010","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2660540.2661010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:05Z","timestamp":1750273445000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660540.2661010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":17,"alternative-id":["10.1145\/2660540.2661010","10.1145\/2660540"],"URL":"https:\/\/doi.org\/10.1145\/2660540.2661010","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"2014-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}