ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars. - Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan 002; Saeideh Shirinzadeh; Rolf Drechsler (ACM Trans. Embed. Comput. Syst., 2024)