ECC校驗
NAND FLASH ECC校驗原理與實現
ECC簡介
由於NAND Flash的工藝不能保證NAND的Memory Array在其生命週期中保持效能的可靠，因此，在NAND的生產中及使用過程中會產生壞塊。為了檢測資料的可靠性，在應用NAND Flash的系統中一般都會採用一定的壞區管理策略，而管理壞區的前提是能比較可靠的進行壞區檢測。
如果操作時序和電路穩定性不存在問題的話，NAND Flash出錯的時候一般不會造成整個Block或是Page不能讀取或是全部出錯，而是整個Page（例如512Bytes）中只有一個或幾個bit出錯。
對資料的校驗常用的有奇偶校驗、CRC校驗等，而在NAND Flash處理中，一般使用一種比較專用的校驗——ECC。ECC能糾正單位元錯誤和檢測雙位元錯誤，而且計算速度很快，但對1位元以上的錯誤無法糾正，對2位元以上的錯誤不保證能檢測。
ECC原理
ECC一般每256位元組原始資料生成3位元組ECC校驗資料，這三位元組共24位元分成兩部分：6位元的列校驗和16位元的行校驗，多餘的兩個位元置1，如下圖所示：
ECC的列校驗和生成規則如下圖所示：
用數學表示式表示為：
P4=D7(+)D6(+)D5(+)D4 P4`=D3(+)D2(+)D1(+)D0
P2=D7(+)D6(+)D3(+)D2 P2`=D5(+)D4(+)D1(+)D0
P1=D7(+)D5(+)D3(+)D1 P1`=D6(+)D4(+)D2(+)D0
這裡(+)表示“位異或”操作
ECC的行校驗和生成規則如下圖所示：
用數學表示式表示為：
P8 = bit7(+)bit6(+)bit5(+)bit4(+)bit3(+)bit2(+)bit1(+)bit0(+)P8
……………………………………………………………………………………
這裡(+)同樣表示“位異或”操作
當往NAND Flash的page中寫入資料的時候，每256位元組我們生成一個ECC校驗和，稱之為原ECC校驗和，儲存到PAGE的OOB（out-of-band）資料區中。
當從NAND Flash中讀取資料的時候，每256位元組我們生成一個ECC校驗和，稱之為新ECC校驗和。
校驗的時候，根據上述ECC生成原理不難推斷：將從OOB區中讀出的原ECC校驗和新ECC校驗和按位異或，若結果為0，則表示不存在錯（或是出現了ECC無法檢測的錯誤）；若3個位元組異或結果中存在11個位元位為1，表示存在一個位元錯誤，且可糾正；若3個位元組異或結果中只存在1個位元位為1，表示OOB區出錯；其他情況均表示出現了無法糾正的錯誤。
ECC演算法的實現
static const u_char nand_ecc_precalc_table[] =
{
0x00, 0x55, 0x56, 0x03, 0x59, 0x0c, 0x0f, 0x5a, 0x5a, 0x0f, 0x0c, 0x59, 0x03, 0x56, 0x55, 0x00,
0x65, 0x30, 0x33, 0x66, 0x3c, 0x69, 0x6a, 0x3f, 0x3f, 0x6a, 0x69, 0x3c, 0x66, 0x33, 0x30, 0x65,
0x66, 0x33, 0x30, 0x65, 0x3f, 0x6a, 0x69, 0x3c, 0x3c, 0x69, 0x6a, 0x3f, 0x65, 0x30, 0x33, 0x66,
0x03, 0x56, 0x55, 0x00, 0x5a, 0x0f, 0x0c, 0x59, 0x59, 0x0c, 0x0f, 0x5a, 0x00, 0x55, 0x56, 0x03,
0x69, 0x3c, 0x3f, 0x6a, 0x30, 0x65, 0x66, 0x33, 0x33, 0x66, 0x65, 0x30, 0x6a, 0x3f, 0x3c, 0x69,
0x0c, 0x59, 0x5a, 0x0f, 0x55, 0x00, 0x03, 0x56, 0x56, 0x03, 0x00, 0x55, 0x0f, 0x5a, 0x59, 0x0c,
0x0f, 0x5a, 0x59, 0x0c, 0x56, 0x03, 0x00, 0x55, 0x55, 0x00, 0x03, 0x56, 0x0c, 0x59, 0x5a, 0x0f,
0x6a, 0x3f, 0x3c, 0x69, 0x33, 0x66, 0x65, 0x30, 0x30, 0x65, 0x66, 0x33, 0x69, 0x3c, 0x3f, 0x6a,
0x6a, 0x3f, 0x3c, 0x69, 0x33, 0x66, 0x65, 0x30, 0x30, 0x65, 0x66, 0x33, 0x69, 0x3c, 0x3f, 0x6a,
0x0f, 0x5a, 0x59, 0x0c, 0x56, 0x03, 0x00, 0x55, 0x55, 0x00, 0x03, 0x56, 0x0c, 0x59, 0x5a, 0x0f,
0x0c, 0x59, 0x5a, 0x0f, 0x55, 0x00, 0x03, 0x56, 0x56, 0x03, 0x00, 0x55, 0x0f, 0x5a, 0x59, 0x0c,
0x69, 0x3c, 0x3f, 0x6a, 0x30, 0x65, 0x66, 0x33, 0x33, 0x66, 0x65, 0x30, 0x6a, 0x3f, 0x3c, 0x69,
0x03, 0x56, 0x55, 0x00, 0x5a, 0x0f, 0x0c, 0x59, 0x59, 0x0c, 0x0f, 0x5a, 0x00, 0x55, 0x56, 0x03,
0x66, 0x33, 0x30, 0x65, 0x3f, 0x6a, 0x69, 0x3c, 0x3c, 0x69, 0x6a, 0x3f, 0x65, 0x30, 0x33, 0x66,
0x65, 0x30, 0x33, 0x66, 0x3c, 0x69, 0x6a, 0x3f, 0x3f, 0x6a, 0x69, 0x3c, 0x66, 0x33, 0x30, 0x65,
0x00, 0x55, 0x56, 0x03, 0x59, 0x0c, 0x0f, 0x5a, 0x5a, 0x0f, 0x0c, 0x59, 0x03, 0x56, 0x55, 0x00
};
// Creates non-inverted ECC code from line parity
static void nand_trans_result(u_char reg2, u_char reg3,u_char *ecc_code)
{
u_char a, b, i, tmp1, tmp2;
/* Initialize variables */
a = b = 0x80;
tmp1 = tmp2 = 0;
/* Calculate first ECC byte */
for (i = 0; i < 4; i++)
{
if (reg3 & a) /* LP15,13,11,9 --> ecc_code[0] */
tmp1 |= b;
b >>= 1;
if (reg2 & a) /* LP14,12,10,8 --> ecc_code[0] */
tmp1 |= b;
b >>= 1;
a >>= 1;
}
/* Calculate second ECC byte */
b = 0x80;
for (i = 0; i < 4; i++)
{
if (reg3 & a) /* LP7,5,3,1 --> ecc_code[1] */
tmp2 |= b;
b >>= 1;
if (reg2 & a) /* LP6,4,2,0 --> ecc_code[1] */
tmp2 |= b;
b >>= 1;
a >>= 1;
}
/* Store two of the ECC bytes */
ecc_code[0] = tmp1;
ecc_code[1] = tmp2;
}
// Calculate 3 byte ECC code for 256 byte block
void nand_calculate_ecc (const u_char *dat, u_char *ecc_code)
{
u_char idx, reg1, reg2, reg3;
int j;
/* Initialize variables */
reg1 = reg2 = reg3 = 0;
ecc_code[0] = ecc_code[1] = ecc_code[2] = 0;
/* Build up column parity */
for(j = 0; j < 256; j++)
{
/* Get CP0 - CP5 from table */
idx = nand_ecc_precalc_table[dat[j]];
reg1 ^= (idx & 0x3f);
/* All bit XOR = 1 ? */
if (idx & 0x40) {
reg3 ^= (u_char) j;
reg2 ^= ~((u_char) j);
}
}
/* Create non-inverted ECC code from line parity */
nand_trans_result(reg2, reg3, ecc_code);
/* Calculate final ECC code */
ecc_code[0] = ~ecc_code[0];
ecc_code[1] = ~ecc_code[1];
ecc_code[2] = ((~reg1) << 2) | 0x03;
}
// Detect and correct a 1 bit error for 256 byte block
int nand_correct_data (u_char *dat, u_char *read_ecc, u_char *calc_ecc)
{
u_char a, b, c, d1, d2, d3, add, bit, i;
/* Do error detection */
d1 = calc_ecc[0] ^ read_ecc[0];
d2 = calc_ecc[1] ^ read_ecc[1];
d3 = calc_ecc[2] ^ read_ecc[2];
if ((d1 | d2 | d3) == 0)
{
/* No errors */
return 0;
}
else
{
a = (d1 ^ (d1 >> 1)) & 0x55;
b = (d2 ^ (d2 >> 1)) & 0x55;
c = (d3 ^ (d3 >> 1)) & 0x54;
/* Found and will correct single bit error in the data */
if ((a == 0x55) && (b == 0x55) && (c == 0x54))
{
c = 0x80;
add = 0;
a = 0x80;
for (i=0; i<4; i++)
{
if (d1 & c)
add |= a;
c >>= 2;
a >>= 1;
}
c = 0x80;
for (i=0; i<4; i++)
{
if (d2 & c)
add |= a;
c >>= 2;
a >>= 1;
}
bit = 0;
b = 0x04;
c = 0x80;
for (i=0; i<3; i++)
{
if (d3 & c)
bit |= b;
c >>= 2;
b >>= 1;
}
b = 0x01;
a = dat[add];
a ^= (b << bit);
dat[add] = a;
return 1;
}
else
{
i = 0;
while (d1)
{
if (d1 & 0x01)
++i;
d1 >>= 1;
}
while (d2)
{
if (d2 & 0x01)
++i;
d2 >>= 1;
}
while (d3)
{
if (d3 & 0x01)
++i;
d3 >>= 1;
}
if (i == 1)
{
/* ECC Code Error Correction */
read_ecc[0] = calc_ecc[0];
read_ecc[1] = calc_ecc[1];
read_ecc[2] = calc_ecc[2];
return 2;
}
else
{
/* Uncorrectable Error */
return -1;
}
}
}
/* Should never happen */
return -1;
}
相關文章
- springMVC:校驗框架:多規則校驗,巢狀校驗,分組校驗;ssm整合技術SpringMVC框架巢狀SSM
- vxe-table 校驗，根據行屬性校驗
- SpringBoot分組校驗及自定義校驗註解Spring Boot
- 時間序列的ADF校驗（單位根校驗）
- 行式填報 資料校驗 --- 小計校驗
- 引數校驗
- eslint 校驗去除EsLint
- 分組校驗
- 資料校驗
- CRC校驗原理
- 前端資料校驗後，後端介面是否需要再次校驗？前端後端
- Vue Element校驗validateVue
- SpringBoot使用validator校驗Spring Boot
- 淺談奇偶校驗
- AOP 無感校驗
- easypoi資料校驗
- JS 校驗非法字串JS字串
- MySQL手動資料校驗+雲資料庫資料校驗MySql資料庫
- 攻防世界-Easy_ECC
- Spring Boot 引數校驗Spring Boot
- 舊香港身份證校驗
- Laravel基礎之校驗Laravel
- 校驗碼圖片生成
- 校驗碼&糾錯碼
- django Form元件校驗流程DjangoORM元件
- 引數校驗註解
- 汽車車牌校驗
- 校驗和與編號
- vue表單校驗方法Vue
- Binding(四):資料校驗
- C實現奇偶校驗
- 三種常用校驗碼
- ORACLE資料校驗文件Oracle
- 使用hibernate校驗欄位
- Springboot引數校驗--最全Spring Boot
- [資料校驗/資料質量] 資料校驗框架(Java)：hibernate-validation框架Java
- element-ui自定義表單校驗規則及常用表單校驗UI
- SMSSDK驗證碼服務端校驗介面服務端