US7499332B2 - Circuit and Method for Electrically Programming a Non-Volatile Semiconductor Memory via an Additional Programming Pulse After Verification