Verilog-A compact model for oxide-based resistive random access memory (RRAM) | IEEE Conference Publication | IEEE Xplore