A multilevel sensing and program verifying scheme for Bi-NAND flash memories | IEEE Conference Publication | IEEE Xplore