DFT笔记78

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