Statistical model of program/verify algorithms in resistive-switching memories for in-memory neural network accelerators | IEEE Conference Publication | IEEE Xplore