SPICE modeling of cycle-to-cycle variability in RRAM devices. (November 2021)