DFT笔记78

用于word-oriented memories的March tests，更有效率的一种算法是1999年提出的Cocktail–Marchalgorithms，基于这种算法，我们将TAGS扩展称为word-oriented memories可用，通过混合不同的test algorithms和data backgrounds，整个的测试长度会显著减短，对于一个目标故障集，TAGS生成测试算法的步骤如下：

1. 构建bit-oriented memory的测试算法
2. 生成最初的Cocktail–March test（假设字长为m）：
   1. 生成一个data backgrounds集：P ={p0, p1, ……pK}，下表是一个8-bit backgrounds的例子，全0的background也叫做solid background：
   2. 按照传统的方法，将每个data background都应用在步骤1的算法生成中，结果会形成一个multiple March algorithms的级联
3. 针对每个pj优化Cocktail–March test，除了p0：
   1. 将pj对应的March algorithm替换为步骤1中一个更短的测试，形成一个新的Cocktail–March test
   2. 对这个新的Cocktail–March test跑RAMSES
   3. 重复3a和3b直到用其他同等长度的测试算法时FC开始下降
   4. 存下前面步骤中的candidate test algorithms
4. 优化前面步骤中p0 (the solid background)对应的Cocktail–March test：
   1. 将p0对应的March alg