Statistical model of program/verify algorithms in resistive-switching memories for in-memory neural network accelerators | Publicación