DFT笔记78

用于word-oriented memories的March tests，更有效率的一种算法是1999年提出的Cocktail–Marchalgorithms，基于这种算法，我们将TAGS扩展称为word-oriented memories可用，通过混合不同的test algorithms和data backgrounds，整个的测试长度会显著减短，对于一个目标故障集，TAGS生成测试算法的步骤如下：构建bit-oriented memory的测试算法生成最初的Cocktail–March test（假设字长为m）：生成一个data backgrounds集：P ={p0, p1, ……pK}，下表是一个8-bit backgrounds的例子，全0的background也叫做solid background：按照传统的方法，将每个data background都应用在步骤1的算法生成中，结果会形成一个multiple March algorithms的级联针对每个pj优化Cocktail–March test，除了p0：将pj对应的March algorithm替换为步骤1中一个更短的测试，形成一个新的Cocktail–March test对这个新的Cocktail–March test跑RAMSES重复3a和3b直到用其他同等长度的测试算法时FC开始下降存下前面步骤中的candidate test algorithms优化前面步骤中p0 (the solid background)对应的Cocktail–March test：将p0对应的March alg