US9607697B2 - Non-Volatile Semiconductor Memory Device and Improved Verification and Programming Method for the Same