A method for programming a flash memory device with a plurality of memory cells. A selected memory cell is programmed under a condition where a bulk area is biased with a high voltage. A program pass/fail of the memory cell is verified with the high voltage applied to the bulk area.