{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T10:10:11Z","timestamp":1675851011480},"reference-count":2,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p> Verification of analog\/mixed-signal (AMS) circuits is complicated by the difficulty of obtaining circuit models at suitable levels of abstraction. We propose a method to automatically generate abstract models suitable for formal verification and system-level simulation from transistor-level simulation traces. This paper discusses the application of the proposed methodology to a switched capacitor integrator and PLL phase detector. <\/jats:p>","DOI":"10.1142\/s0129054110007209","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T11:08:49Z","timestamp":1270033729000},"page":"191-210","source":"Crossref","is-referenced-by-count":13,"title":["ANALOG\/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES"],"prefix":"10.1142","volume":"21","author":[{"given":"SCOTT","family":"LITTLE","sequence":"first","affiliation":[{"name":"Freescale Semiconductor, Austin, TX 78729, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DAVID","family":"WALTER","sequence":"additional","affiliation":[{"name":"Virginia State University, Petersburg, VA 23806, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KEVIN","family":"JONES","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT 84112, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHRIS","family":"MYERS","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT 84112, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALPER","family":"SEN","sequence":"additional","affiliation":[{"name":"Bogazici University, Istanbul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.018"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054110007209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T15:22:46Z","timestamp":1565191366000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054110007209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":2,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1142\/S0129054110007209"],"URL":"https:\/\/doi.org\/10.1142\/s0129054110007209","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}