A SPICE model of bi-layer resistive random access memory with stepped reset phenomenon | IEEE Conference Publication | IEEE Xplore