此类测试方法把嵌入式存储器部分从整个系统中分离出来，由专用的存储器测试电路连接到存储器接口上对嵌入式存储器进行测试，系统框图如图1所示。

针对不同的嵌入式存储器，需要专门针对可能产生的各种缺陷类型，采用一种或多种测试算法来设计专用BIST电路。通常嵌入式存储器的BIST电路包括测试向量产生模块、测试算法控制模块和结果分析模块。结构框图如图2所示。

伪随机存储器测试算法

    这类算法利用n位反馈移位寄存器产生伪随机序列对嵌入式存储器进行测试。反馈移位寄存器可以通过如式（1）所示的n元反馈函数的多项式来进行构造。如果移位寄存器以作为反馈函数，则称之为反馈移位寄存器。

    如果n级反馈移位寄存器呈线性结构，则称之为线性反馈移位寄存器，可构造为如式（2）所示的多项式形式，共包含2n个移位寄存器。

    不满足公式（2）的反馈移位寄存器称为非线性反馈移位寄存器，其共包含个移位寄存器。与线性反馈移位寄存器包含的移位寄存器总个数比较发现，非线性反馈移位寄存器具有的移位寄存器总数更多，结构更复杂。

确定性存储器测试算法

    这类算法的形式很多，需要根据被测存储器的结构特征和关注的故障选择适合的测试算法，产生测试向量，以便提高测试故障覆盖率，主要用于存储器结构相对规则，并与关注的故障类型相关度高的存储器测试。下面介绍三种比较典型的确定性存储器测试算法。

（1）MSCAN（Memory SCAN）算法

    这种算法就是简单地对存储器的每个单元写0，然后读出每个单元的内容验证是否为0；再对每个单元写1，然后读出验证。算法公式如式3所示。

MSCAN测试算法的复杂度与存储单元数量N成正比，其测试复杂度为

    从测试复杂度可以看出此算法花费的测试时间较短，另外此算法能够测试SAF故障，也能测试存储器在最差情况下所消耗的功耗，还可以作为进行其它较复杂测试算法之前对存储器的初始化操作，但是此算法的测试故障覆盖率较低。

（2）Checkerboard算法

   这种测试算法在向存储单元赋值时要求0和1交替赋值，也就是每个存储器单元与周围的四个单元的值都不同。然后再读取每个存储器单元的数值，并检验其正确性。算法公式如式5所示。

   Checkerboard测试算法的复杂度同样与存储单元数量N成正比，其测试复杂度为

在如上的测试完成后，还需要交换0和1的位置再按照算法的要求交替写入和读取并验证。这种算法执行速度较快，能够测试数据保留故障、固定故障和一半的转换故障。

（3）GALPAT（Galloping Pattern）算法

这种算法也称为漫游或者乒乓测试。首先需要初始化存储器的所有单元为0（或1），然后按照地址从小到大的顺序对某被测单元写1（或0）的操作，接下来读取被测单元的数值进行验证。算法公式如式7所示。

GALPAT测试算法的复杂度为

这种测试算法的测试故障覆盖率较高，能够测试固定故障、状态传输故障、图形敏感故障以及大部分耦合故障。但根据公式8可知，该测试算法需要花费的测试时间较长，对于大容量存储器来说并不适合。

   常见的March系列算法包含MATS算法、March X算法、March C-算法等。各种算法的不同之处就是包含的March元素各不相同。每种March算法包含多个March元素，每个March元素都由地址变化顺序、读写的操作和操作的数据三部分组成。用表示读写的顺序可以是升序，也可以是降序；表示读写的顺序为升序；表示读写的顺序为降序；表示从存储器单元中读取的向量应该为第n个向量；表示向存储器单元中写入第n个向量。