US6707719B2 - Nonvolatile Semiconductor Memory Device with Double Data Storage Circuit for Writing and Write-Verifying Multi-State Memory Cells