Simulation of RRAM memory circuits, a Verilog-A compact modeling approach | IEEE Conference Publication | IEEE Xplore