A method to calculate redundancy coverage for FLASH memories | IEEE Conference Publication | IEEE Xplore