A Novel Program-Verify Algorithm for Multi-Bit Operation in HfO<sub>2</sub> RRAM