. "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." . . .