Arighna Deb, Kamalika Datta, Muhammad Hassan 0002, Saeideh Shirinzadeh, Rolf Drechsler. Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 19-25, ACM, 2023. [doi]
Abstract is missing.