{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T12:19:40Z","timestamp":1778933980567,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T00:00:00Z","timestamp":1673827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,16]]},"DOI":"10.1145\/3566097.3567842","type":"proceedings-article","created":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T18:40:49Z","timestamp":1675190449000},"page":"19-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars"],"prefix":"10.1145","author":[{"given":"Arighna","family":"Deb","sequence":"first","affiliation":[{"name":"KIIT DU, Bhubaneswar, India"}],"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":"Muhammad","family":"Hassan","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 and Fraunhofer Institute for Systems and Innovation Research (ISI), Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IWLS 2005 Benchmarks. Technical Report.","author":"Albrecht C.","year":"2005","unstructured":"C. Albrecht. 2005. IWLS 2005 Benchmarks. Technical Report."},{"key":"e_1_3_2_1_2_1","volume-title":"51st ACM\/EDAC\/IEEE Design Automation Conference (DAC). 1--6.","author":"Amar\u00fa L.","unstructured":"L. Amar\u00fa, P.-E. Gaillardon, and G. De Micheli. 2014. Majority-Inverter Graph: A novel data-structure and algorithms for efficient logic optimization. In 51st ACM\/EDAC\/IEEE Design Automation Conference (DAC). 1--6."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature08940"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. Intl. Design and Test Symp. (IDT). 136--141","author":"Chakraborti S.","unstructured":"S. Chakraborti, P.V. Chowdhary, K. Datta, and I. Sengupta. 2014. BDD based Synthesis of Boolean Functions using Memristors. In Proc. Intl. Design and Test Symp. (IDT). 136--141."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1971.1083337"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"S. Froehlich and R. Drechsler. 2022. Generation of Verified Programs for In-Memory Computing. In Digital System Design (DSD-2022) (Accepted).","DOI":"10.1109\/DSD57027.2022.00114"},{"key":"e_1_3_2_1_7_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE). 427--432","author":"Gaillardon P.-E.","unstructured":"P.-E. Gaillardon, L. Amar\u00fa, A. Siemon, E. Linn, R. Waser, A. Chattopadhyay, and G. De Micheli. 2016. The Programmable Logic-in-Memory (PLiM) computer. In 2016 Design, Automation Test in Europe Conference Exhibition (DATE). 427--432."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2014.2357292"},{"key":"e_1_3_2_1_10_1","volume-title":"International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337--340","author":"de Moura L.","unstructured":"L. de Moura and N. Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337--340."},{"key":"e_1_3_2_1_11_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). 948--953","author":"Shirinzadeh S.","unstructured":"S. Shirinzadeh, M. Soeken, P.-E. Gaillardon, and R. Drechsler. 2016. Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs. In 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). 948--953."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature06932"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2016.2570248"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2018.2792474"},{"key":"e_1_3_2_1_15_1","volume-title":"Asia and South Pacific Design Automation Conference. 237--242","author":"Zulehner A.","unstructured":"A. Zulehner, K. Datta, I. Sengupta, and R. Wille. 2019. A Staircase Structure for Scalable and Efficient Synthesis of Memristor-Aided Logic. In Asia and South Pacific Design Automation Conference. 237--242."}],"event":{"name":"ASPDAC '23: 28th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '23","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA","IEICE","IEEE CAS","IPSJ"]},"container-title":["Proceedings of the 28th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3566097.3567842","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3566097.3567842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T17:32:52Z","timestamp":1767807172000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3566097.3567842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,16]]},"references-count":15,"alternative-id":["10.1145\/3566097.3567842","10.1145\/3566097"],"URL":"https:\/\/doi.org\/10.1145\/3566097.3567842","relation":{},"subject":[],"published":{"date-parts":[[2023,1,16]]},"assertion":[{"value":"2023-01-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}