March C算法

March C算法简介

March C算法是一种用于测试数字存储器（如RAM）内存单元的故障检测算法。它是一种“March”测试算法的一种变体，设计用于检测常见的内存故障类型，包括单比特错误、多比特错误和开路/短路故障。

March C算法步骤

1. Up (w0): 将所有内存单元写入0。
2. Up (r0, w1): 按地址递增顺序读取每个单元，检查是否为0，然后将其写为1。
3. Up (r1, w0): 按地址递增顺序读取每个单元，检查是否为1，然后将其写为0。
4. Down (r0, w1): 按地址递减顺序读取每个单元，检查是否为0，然后将其写为1。
5. Down (r1, w0): 按地址递减顺序读取每个单元，检查是否为1，然后将其写为0。
6. Down (r0): 按地址递减顺序读取每个单元，检查是否为0。

March C算法能检测到的错误类型

• 存储单元失效故障（SAF, Stuck-at Fault）：内存单元固定在某个值（0或1）。
• 位翻转故障（TF, Transition Fault）：内存单元无法正确地从0翻转到1，或从1翻转到0。
• 邻近单元干扰故障（NIF, Neighborhood Interference Fault）：内存单元的操作会影响其相邻单元。
• 地址相关故障（AF, Address Decoder Fault）：内存地址解码器错误地将操作执行到错误的单元上。
• 数据保持故障（DRF, Data Retention Fault）：内存单元无法保持其存储的值。

March C算法C语言参考代码

#include<stdio.h>
#include<stdlib.h>
#include<stdbool.h>
const int SIZE = 50;

bool March_C(int* address, int size) {
    int* start = address;
    int* end = address + size;

    int* p = start;
    while (p < end) {
        *p = 0x0000;
        p++;
    }
    p = start;
    while (p < end) {
        if (*p != 0x0000)
            return false;
        *p = 0xffff;
        p++;
    }
    p = start;
    while (p < end) {
        if (*p != 0xffff)
            return false;
        *p = 0x0000;
        p++;
    }
    p = end - 1;
    while (p >= start) {
        if (*p != 0x0000)
            return false;
        *p = 0xffff;
        p--;
    }
    p = end - 1;
    while (p >= start) {
        if (*p != 0xffff)
            return false;
        *p = 0x0000;
        p--;
    }
    p = end - 1;
    while (p >= start) {
        if (*p != 0x0000)
            return false;
        p--;
    }
    return true;
}
int main() {
    int* array = malloc(sizeof(int) * SIZE);
    bool result = March_C(array, SIZE);
    if (result)
        printf("success\n");
    else
        printf("failure\n");
    return 0;
}