{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:24:19Z","timestamp":1725618259064},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/mwscas.2014.6908590","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T14:54:51Z","timestamp":1412088891000},"page":"1017-1020","source":"Crossref","is-referenced-by-count":2,"title":["LEMA: A tool for the formal verification of digitally-intensive analog\/mixed-signal circuits"],"prefix":"10.1109","author":[{"given":"Andrew N.","family":"Fisher","sequence":"first","affiliation":[]},{"given":"Satish","family":"Batchu","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Jones","sequence":"additional","affiliation":[]},{"given":"Dhanashree","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Little","sequence":"additional","affiliation":[]},{"given":"David","family":"Walter","sequence":"additional","affiliation":[]},{"given":"Chris J.","family":"Myers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Automatic Extraction of Behavioral Models from Simulations of Analog\/mixed-signal (Ams) Circuits","year":"2010","author":"batchu","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007209"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06317-1_3"},{"key":"6","first-page":"1","article-title":"A new assertion property language for analog\/mixed-signal circuits","author":"kulkarni","year":"2013","journal-title":"Specification Design Languages (FDL) 2013 Forum on"},{"journal-title":"Formal Verification of Digitally-intensive Analog\/mixed Signal Circuits","year":"2013","author":"kulkarni","key":"5"},{"key":"4","article-title":"Improved model generation of AMS circuits for formal verification","author":"kulkarni","year":"2011","journal-title":"2011 Virtual Worldwide Forum for PhD Researchers in Electronic Design Automation"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2097450"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"}],"event":{"name":"2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2014,8,3]]},"location":"College Station, TX, USA","end":{"date-parts":[[2014,8,6]]}},"container-title":["2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900043\/6908326\/06908590.pdf?arnumber=6908590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T16:01:03Z","timestamp":1602691263000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6908590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/mwscas.2014.6908590","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}