EP3918602A1 - ALGORITHMS AND CIRCUITRY FOR VERIFYING A VALUE STORED DURING A PROGRAMMING OPERATION OF A NON-VOLATILE MEMORY CELL IN AN ANALOG NEURAL MEMORY IN DEEP LEARNING ARTIFICIAL NEURAL NETWORK