Technology-aware logic synthesis for ReRAM based in-memory computing | IEEE Conference Publication | IEEE Xplore