{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:42:20Z","timestamp":1730342540183,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137179","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits"],"prefix":"10.23919","author":[{"given":"Kemal \u00c7a\u011flar","family":"Co\u015fkun","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Hassan","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen,Bremen,Germany,28359"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48089-1_8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0086-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI49217.2020.00012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"journal-title":"SPICE-simulation program with integrated circuit emphasis","year":"1973","author":"nagel","key":"ref2"},{"journal-title":"SystemC AMS Extensions Solving the Need for Speed","year":"2010","author":"barnasconi","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-7470-7_73"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5651402"},{"key":"ref19","article-title":"Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters","author":"co?kun","year":"2022","journal-title":"Design and Diagnostics of Electronic Circuits and Systems (DDECS) Prague"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SMACD.2015.7301712"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JRPROC.1953.274449"},{"journal-title":"System Dynamics An Introduction","year":"1997","author":"rowell","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10470-014-0367-0"},{"journal-title":"Signal Flow Graphs and Applications","year":"1962","author":"robichaud","key":"ref25"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"54","DOI":"10.3390\/chips1010006","article-title":"Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits","volume":"1","author":"co?kun","year":"2022","journal-title":"CHIPS"},{"journal-title":"Analog Devices","year":"0","key":"ref22"},{"journal-title":"Design of Analog CMOS Integrated Circuits","year":"2001","author":"razavi","key":"ref21"},{"journal-title":"Equivalence Checking of Digital Circuits Fundamentals Principles Methods","year":"2007","author":"molitor","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5"},{"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","first-page":"1","author":"p\u00eacheux","year":"2018","journal-title":"SystemC AMS based frameworks for virtual prototyping of heterogeneous systems"},{"key":"ref5","article-title":"Advancing the SystemC analog\/mixed-signal (AMS) extensions","author":"barnasconi","year":"2011","journal-title":"Open SystemC Initiative"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2023,4,17]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137179.pdf?arnumber=10137179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T19:00:27Z","timestamp":1701111627000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137179","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}