Page 33 - 应用声学2019年第5期
P. 33
第 38 卷 第 5 期 郝小龙等: 声波测井存储模块的快速检测系统和补偿方法 785
数据位矩阵,其中 W0_LB 表示第 0 字的低字节, 其他极性值的定义和计算方法类似,每个极性
bit7 表示字中的第 7 位,CP0 ∼ CP5 为列校验值, 值是不同组合的 16个数据位异或的结果,每一位数
LP0 ∼ LP3表示行校验值。CP0和LP0 由式 (1)∼ 据与 3 个列极性值和 2 个行极性值唯一对应。比较
式 (4) 计算得到,其中 Wi(j) 表示第 i 字的第 j 位, 存储时的 ECC 校验值和读取到的 ECC 校验值,即
Li(j) 表示第 i 行字节的第 j 位,CP0_Temp(i) 和 可实现数据块中单比特位错误的定位和校正。
LP0_Temp(i)为计算的中间值。 (4)交互管理
CP0_Temp(i) 设计中,DSP 的串行接口和 USB-TTL 模块是
= Wi(0) ∧ Wi(2) ∧ Wi(4) ∧ Wi(6) ∧ Wi(8) 高温测试板和上位机的硬件交互通道。通过设计功
能分区、测试函数、状态显示、异常处理等内容,可以
∧ Wi(10) ∧ Wi(12) ∧ Wi(14), (1)
测试存储器在不同温度下出错和可恢复的程度,进
CP0 = CP0_Temp(0) ∧ CP0_Temp(1), (2)
而完成存储器的高温老化实验。
LP0_Temp(i)
表 2 为 10 个交互命令的测试功能、分区、操作
= Li(0) ∧ Li(1) ∧ Li(2) ∧ Li(3) ∧ Li(4) ∧ Li(5)
内容和实时显示信息的对应关系。上位机控制软
∧ Li(6) ∧ Li(7), (3) 件以字符形式发送 0∼9 即可选择这 10 个命令,对
LP0 = LP0_Temp(0)LP0_Temp(2). (4) Flash的三个测试区域进行操作。
表 1 ECC 算法的极性生成表
Table 1 Polar table for the ECC algorithm
W0_LB bit7 bit6 bit5 bit4 bit3 bit2 bit1 bit0 LP0
LP2
W0_HB bit15 bit14 bit13 bit12 bit11 bit10 bit9 bit8 LP1
W1_LB bit7 bit6 bit5 bit4 bit3 bit2 bit1 bit0 LP0
LP3
W1_HB bit15 bit14 bit13 bit12 bit11 bit10 bit9 bit8 LP1
CP1 CP0 CP1 CP0 CP1 CP0 CP1 CP0
CP3 CP2 CP3 CP2
CP5 CP4
表 2 交互管理的对应表
Table 2 Correspondence table of interactive management
测试功能 命令编码 功能分区 操作内容 实时显示信息
读取 ID 0 读取 5 字节 ID ID 值
1 管理区、命令 3–5 对 全部写入 0xA55A (1) 因擦除和写入失败而新
室温下静态存取 应的 256 个块以外 增的坏块信息;
2 读取数据
的所有空间 (2) 不经过 ECC 处理和经
3 全部写入 0xA55A 过 ECC 处理两种情况下,
单温度点随机存取 128 个块 累计测试次数、当前写入
4 读取数据
数据,数据读取出错的个
交替写 0xAAAA,0x5555,
全温度段连续存取 5 128 个块 数、位置以及出错数据。
0xFF00,0x00FF 并读取
6 设置任意块为坏块
7 取消任意块为坏块
坏块处理 坏块的个数与位置
8 强制全部块为正常
9 建立初始化坏块表