{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:11:02Z","timestamp":1725451862221},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/isvdat.2016.8064894","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T16:40:08Z","timestamp":1507826408000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification of switched capacitor DC to DC power converter using circuit simulation traces"],"prefix":"10.1109","author":[{"given":"Ambuj","family":"Mishra","sequence":"first","affiliation":[]},{"given":"Subir K","family":"Roy","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_22"},{"journal-title":"CMU Checkmate website","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref5","first-page":"114","article-title":"Analog\/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces","author":"scott","year":"2007","journal-title":"ATVA 2007 LNCS 4762"},{"key":"ref7","article-title":"Design Of Step-down DC\/DC Converter Using Switched Capacitor Network","author":"sen","year":"2015","journal-title":"Project Report International Institute of Information Technology Bangalore"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-013-5407-7"}],"event":{"name":"2016 20th International Symposium on VLSI Design and Test (VDAT)","start":{"date-parts":[[2016,5,24]]},"location":"Guwahati, India","end":{"date-parts":[[2016,5,27]]}},"container-title":["2016 20th International Symposium on VLSI Design and Test (VDAT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8059694\/8064831\/08064894.pdf?arnumber=8064894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T15:16:14Z","timestamp":1512054974000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8064894\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/isvdat.2016.8064894","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}