ATALANTA算法报告_上学年.ppt

ATALANTA算法报告 任建国 主要内容 程序结构 随机算法原理 FAN算法原理 Fsim算法原理 Hope算法原理 ATANLANTA 固定故障ATPG 采用随机算法和Fan算法进行ATPG 采用Fsim或HOPE进行模拟 算法结构 随机测试生成 ./atalanta –r n ****.bench Fan算法加速原理 立即蕴含 尽快尽早地确定可以唯一确定的值 Fan算法加速原理 唯一敏化 D前沿到原始输出必经的唯一路径 主导线技术 将由PI驱动的逻辑锥与剩余的电路隔离开 消除PI判决树中的一个分支 多重回溯 PODEM深度回溯 Fan广度回溯 多重回溯：多个目标回溯考察扇出点需要设置0和1的次数，如果二者次数均大于0，且目标故障不在扇出分支上，那么发生冲突，不再回溯，根据0，1的次数关系，设置扇出点值为0或1，这样回溯在扇出点或主导线处截至 Fan算法结构 Fsim算法 FSIM is a fast fault simulator, for combinational circuits. The essential idea of FSIM is to simulate the circuit in the forward levelized order and to prune off unnecessary gates in the early stages. Another key feature employed in FSIM is the use of multiple last-in first-out (LIFO) stacks instead of the commonly used priority queue 正向模拟 （1）包含故障的FFRs，如FFR（S1） 包含至少一个支配节点但不包含故障的FFRs，如FFR（S5） 既不包含故障也不包含支配节点的FFRs，如FFR（S2） 第（1）类FFRs和故障传播路径上的第（2）类FFRs，需要进行故障模拟 钝化不必要的测试矢量（一） 并行模拟中的某些矢量无法检测到考虑的故障，如果这些故障能够尽早地被识别出来，那么仅仅这些矢量所影响FFRs就不必进行模拟，可以减少测试时间 考虑四个故障，假设满足如下条件，那么四个矢量均无法检测到故障 钝化不必要的测试矢量（一） k处能够检测到故障的要求是：V*（k）为V（k）的反，即V*（k）=（1011），前面四个矢量中前两个矢量能检测到故障 k到原始输出的可观测性D（k，PO）=（0001），即只有第四个矢量在k处检测到的故障能够传播至输出 无法在原始输出检测到故障，但需要全部进行模拟 V*（k）=V（k）⊕CD（k），CD（k）为封装矢量在k处的累积可观测性 对于某个矢量，如果CD（k）=0，那么其无法传播故障至原始输出处，此矢量被钝化 ，仅与之相关的FFRs不再被模拟 Fsim算法流程 HOPE算法 HOPE是一个利用单故障传播的平行同步故障模拟算法，它采用的是三值（0，1，X）逻辑，同时模拟多个故障，并充分利用了无扇出区域（FFR）的概念。 HOPE提出了控制点的概念，信号线y是x的控制点当且仅当x到初级输出的所有路径都必须经过y。 减少需要并行模拟的故障的数目 第一个阶段，在某个FFR中，所有的故障映射到FFR对应得茎故障 T为FFR（t）的支配节点，利用局部模拟可以将FFR（t）中的故障可以映射到t，有3种可能性，分别为0，1或x，其中必定有值与无故障电路一致，因此FFR（t）中的故障可以减少为茎t处的两种故障 第二个阶段，T为FFR（t）的支配节点，利用局部模拟可以将FFR（t）中的故障可以映射到t，有3种可能性，分别为0，1或x，其中必定有值与无故障电路一致，因此FFR（t）中的故障可以减少为茎t处的两种故障 减少故障注入时间 PROOFS中，对每个固定故障增加两个门，一个为注入故障门，另一个为单输入原始门增加了需要模拟的门以及事件 在HOPE中，作者将故障门等效为具有故障功能的门 故障分组方法 并行故障模拟每次进行多个故障的模拟时，故障矢量组的选择会影响到故障模拟的速度 排序的原则是尽量将产生相同事件的故障组合在一起模拟 静态故障分组 在PROOFS中，作者采用深度优先搜索方法其故障排序为：f1，f2，fA，f3，fB，如果fA足够多，那么f1，f2，f3有可能不在同一个故障矢量里面，但是由于它们都经茎c那么它们产生相同事件的概率很大。 HOPE采用广度优先的搜索方法，其故障排序方式为：f1，f2，f3，fA，fB，使f1，f2，f3这三个在同一个FFR中的故障分布在同一个故障矢量中的概率大大增加。 动态故障分组 由于故障的存在，可能阻止触发器触