Peking University Resistive-Switching Random Access Memory (RRAM) Verilog-A Model