| http://www.w3.org/ns/prov#value | - Each of the sensing circuits 70 a, . . . , 79 j performs a verify operation for identifying whether the program is completed or not by reading data from the corresponding bit line of the memory cell array 92 after the program is executed.
|