A Write-Verification Method for Non-Volatile Memory | IEEE Conference Publication | IEEE Xplore