Logic Synthesis for RRAM-Based In-Memory Computing | IEEE Journals & Magazine | IEEE Xplore