{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T16:33:30Z","timestamp":1779294810053,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,17]],"date-time":"2024-12-17T00:00:00Z","timestamp":1734393600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,17]],"date-time":"2024-12-17T00:00:00Z","timestamp":1734393600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010002","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010002","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,17]]},"DOI":"10.1109\/ats64447.2024.10915429","type":"proceedings-article","created":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T17:45:02Z","timestamp":1741974302000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Towards Formal Verification for MAC-based In-Memory Computing"],"prefix":"10.1109","author":[{"given":"Fatemeh","family":"Shirinzadeh","sequence":"first","affiliation":[{"name":"German Research Centre for Artificial Intelligence (DFKI),Bremen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamalika","family":"Datta","sequence":"additional","affiliation":[{"name":"German Research Centre for Artificial Intelligence (DFKI),Bremen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saeideh","family":"Shirinzadeh","sequence":"additional","affiliation":[{"name":"German Research Centre for Artificial Intelligence (DFKI),Bremen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhoy","family":"Kole","sequence":"additional","affiliation":[{"name":"German Research Centre for Artificial Intelligence (DFKI),Bremen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"German Research Centre for Artificial Intelligence (DFKI),Bremen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature08940"},{"key":"ref2","first-page":"427","article-title":"The programmable logic-in-memory (plim) computer","volume-title":"2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Gaillardon"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2014.2357292"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2012.240"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/nature14441"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2020.2981901"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2016.7843030"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2016.2570248"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488484"},{"key":"ref10","first-page":"427","article-title":"The programmable logic-in-memory (plim) computer","volume-title":"2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Gaillardon"},{"key":"ref11","first-page":"948","article-title":"Fast logic synthesis for RRAM-based in-memory computing using majority-inverter graphs","volume-title":"2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Shirinzadeh"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID60093.2024.00070"},{"key":"ref13","volume-title":"The complexity of theorem-proving procedures, stoc\u201971: Proceedings of the third annual acm symposium on theory of computing","author":"Cook"},{"key":"ref14","volume":"185","author":"Biere","year":"2009","journal-title":"Handbook of satisfiability."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2017.2750064"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126622500712"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DSD57027.2022.00114"},{"key":"ref18","first-page":"19","article-title":"Automated equivalence checking method for majority based in-memory computing on reram crossbars","volume-title":"Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC)","author":"Deb"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3649476.3658766"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2018.10.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287672"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2931188"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2024.3424682"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/NEWCAS57931.2023.10198121"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"ref28","article-title":"Iwls 2005 benchmarks","volume-title":"Tech. Rep.","author":"Albrecht","year":"2005"}],"event":{"name":"2024 IEEE 33rd Asian Test Symposium (ATS)","location":"Ahmedabad, India","start":{"date-parts":[[2024,12,17]]},"end":{"date-parts":[[2024,12,20]]}},"container-title":["2024 IEEE 33rd Asian Test Symposium (ATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10914681\/10915215\/10915429.pdf?arnumber=10915429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:02:30Z","timestamp":1742014950000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10915429\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,17]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ats64447.2024.10915429","relation":{},"subject":[],"published":{"date-parts":[[2024,12,17]]}}}