A Novel Program-Verify Algorithm for Multi-Bit Operation in HfO2 RRAM