A Novel Program-Verify Algorithm for Multi-Bit Operation in HfO2 RRAM | IEEE Journals & Magazine | IEEE Xplore