ATPG原理及实现——11.Diagnosis

tmax diagnosis

• 当设备测试失败时，可以使用TetraMAX诊断来确定故障的位置
• 为此，将故障信息放入文件中（遵循指定格式），并使用run_diagnosis命令运行诊断
• TetraMAX分析故障信息并报告可能导致故障的故障的位置和类型

一、tmax diagnosis flow

 

 

 二、诊断要求

• Test Patterns (Stuck-At，Transition or Bridging)

　　　推荐格式：Binary and STIL/WGL

• 必须使用与生成测试pattern完全相同的TetraMAX环境

　　　原始Verilog netlist、原始测试协议文件（.spf）、原始library

 三、诊断命令

set_diagnosis

run_diagnosis

read_netlist -lib mylib.v
read_netlist mydesign.v
run_build_model
set_drc mydesign.spf
run_drc
set_patterns -external ./patterns/mypat.bin
run_diagnosis diag.fail

四、Tester Failure Data Format

捕获故障设备的测试结果，两种格式：Pattern-based failures & Cycle-based failures

Pattern-based failures

• 失败的ATPG pattern number

　　　pattern 0 是第一个pattern (通常是chain test)

• 设备输出不匹配

　　　输出pin名称或chain名称

• 扫描单元位置失败

　　　设备输出是扫描链输出，并且pattern执行chain unload操作
　　　位置0最接近扫描输出引脚

• 可选的预期数据

 

Cycle-based failures

• “c”

　　　表明此故障日志是基于周期的

• 设备输出不匹配

• 失败的周期数

　　　指示失败的向量编号，第一个向量为1

• 可选的预期数据

 

 

 

 

 

 

待。。。。。。。。。。。。。