EP4280113A2 - 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