Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars.

Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler

Browse the full ASPDAC paper archive.