{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:18:34Z","timestamp":1740100714623,"version":"3.37.3"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:00:00Z","timestamp":1649203200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:00:00Z","timestamp":1649203200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010002","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010002","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,6]]},"DOI":"10.1109\/ddecs54261.2022.9770142","type":"proceedings-article","created":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T20:06:40Z","timestamp":1652126800000},"page":"160-165","source":"Crossref","is-referenced-by-count":2,"title":["Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters"],"prefix":"10.1109","author":[{"given":"Kemal Caglar","family":"Coskun","sequence":"first","affiliation":[{"name":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Hassan","sequence":"additional","affiliation":[{"name":"DFKI GmbH,Cyber-Physical Systems,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen,Institute of Computer Science,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Equivalence Checking of Digital Circuits Fundamentals Principles Methods","year":"2007","author":"molitor","key":"ref13"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4236\/cs.2017.811019"},{"journal-title":"System Dynamics An Introduction","year":"1997","author":"rowell","key":"ref30"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474211"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431592"},{"journal-title":"SPICE-simulation program with integrated circuit emphasis","year":"1973","author":"nagel","key":"ref2"},{"key":"ref1","article-title":"SystemC AMS Extensions: Solving the Need for Speed","author":"barnasconi","year":"2010","journal-title":"DAC Knowledge Center"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI49217.2020.00012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48089-1_8"},{"key":"ref24","article-title":"Systemc ams extensions user's guide","author":"barnasconi","year":"2010","journal-title":"Accellera Systems Initiative"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SMACD.2015.7301712"},{"journal-title":"Signal Flow Graphs and Applications","year":"1962","author":"robichaud","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JRPROC.1953.274449"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0086-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-7470-7_73"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5651402"},{"article-title":"Ltspice","year":"0","author":"devices","key":"ref28"},{"key":"ref27","article-title":"Signal Flow Graphs in Filter Analysis and Synthesis","author":"lin","year":"2006","journal-title":"Circuit Analysis and Feedback Amplifier Theory"},{"key":"ref29","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 Transactions on Circuits and Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714903"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351864"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876957"},{"key":"ref4","article-title":"Systemc ams extensions user's guide","author":"barnasconi","year":"2010","journal-title":"Accellera Systems Initiative"},{"key":"ref3","article-title":"An introduction to modeling embedded analog\/mixed-signal systems using systemc ams extensions","author":"grimm","year":"2008","journal-title":"Open SystemC Initiative"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342125"},{"key":"ref5","article-title":"Advancing the SystemC analog\/mixed-signal (AMS) extensions","author":"barnasconi","year":"2011","journal-title":"Open SystemC Initiative"}],"event":{"name":"2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","start":{"date-parts":[[2022,4,6]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2022,4,8]]}},"container-title":["2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9770102\/9770107\/09770142.pdf?arnumber=9770142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,10]],"date-time":"2023-03-10T19:31:16Z","timestamp":1678476676000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9770142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ddecs54261.2022.9770142","relation":{},"subject":[],"published":{"date-parts":[[2022,4,6]]}}}