《表4 去除冗余的读操作：基于故障类型的高效March算法构造》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于故障类型的高效March算法构造》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

March算法在进行对故障的检测时，部分敏化操作中可以去除读操作，分两种情况进行讨论。第一种当读操作处于ME中间某处时，如单体故障<0w1/↓/->与<1w1/↓/->两种故障，在进行敏化与检测故障时，可使用（…r0，w1，r1，w1，r1…），前三个操作用于检测<0w1/↓/->，后两个操作检测<1w1/↓/->，中间的“r1”操作可以省去，原因是若<0w1/↓/->型故障发生，则0写1对某存储单元操作失败，那么再进行写1仍然会失败，这样通过最后的“r1”便能检测出故障；若发生<1w1/↓/->故障，则（…w1，w1，r1...）可以测出故障；若两种故障同时发生，即某单元进行“w1”操作会发生故障，那么（..w1，r1..）就能测出故障。综上，（…r0，w1，w1，r1…）与（…r0，w1，r1，w1，r1…）是等价的。第二种是当读操作处于某个ME末尾时，由于下一个ME以读操作开始，因此处于末尾的读操作也是冗余的。以下列举了部分冗余读操作可省去但相互等价的March序列，如表4所示。