Verification of In-Memory Logic Design using ReRAM Crossbars | IEEE Conference Publication | IEEE Xplore