{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T07:09:21Z","timestamp":1774422561910,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473924","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"282-287","source":"Crossref","is-referenced-by-count":6,"title":["MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory"],"prefix":"10.1109","author":[{"given":"Simranjeet","family":"Singh","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Bombay,India"}]},{"given":"Chandan Kumar","family":"Jha","sequence":"additional","affiliation":[{"name":"University of Bremen,Germany"}]},{"given":"Ankit","family":"Bende","sequence":"additional","affiliation":[{"name":"Forschungszentrum Jülich GmbH,Germany"}]},{"given":"Vikas","family":"Rana","sequence":"additional","affiliation":[{"name":"Forschungszentrum Jülich GmbH,Germany"}]},{"given":"Sachin","family":"Patkar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Bombay,India"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen,Germany"}]},{"given":"Farhad","family":"Merchant","sequence":"additional","affiliation":[{"name":"Newcastle University,UK"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2013.2282132"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240811"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567842"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2014.2357292"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/9781119818298.ch6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2931188"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2018.2792474"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2023.3298740"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/s41565-020-0655-z"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2015.2433536"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NEWCAS52662.2022.9842222"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS47672.2021.9531908"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2021.3102013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS46596.2019.8964856"},{"key":"ref15","volume-title":"Abc: A system for sequential synthesis and verification","volume":"17","author":"Mishchenko","year":"2007"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JXCDC.2022.3222015"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473924.pdf?arnumber=10473924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:48:23Z","timestamp":1711489703000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473924","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}