A non-volatile semiconductor memory device capable of performing page programming
at high speeds is provided. This nonvolatile memory device includes a cell array
with a matrix of rows and columns of electrically writable and erasable nonvolatile
memory cells, and a write control circuit which writes or "programs" one-page data
into this cell array at a plurality of addresses within one page. The write control
circuit is operable to iteratively perform iteration of a write operation for the
plurality of addresses corresponding to one page and iteration of a verify-read
operation of the plurality of addresses after writing until verify-read check is
passed with respect to every address involved. Regarding an address or addresses
with no cells to be written any more, the write control circuit skips the write
operation and the after-write verify-read operation.