ATPG原理及实现——11.Diagnosis
tmax diagnosis
當(dāng)設(shè)備測試失敗時(shí),可以使用TetraMAX診斷來確定故障的位置
為此,將故障信息放入文件中(遵循指定格式),并使用run_diagnosis命令運(yùn)行診斷
TetraMAX分析故障信息并報(bào)告可能導(dǎo)致故障的故障的位置和類型
一、tmax diagnosis flow
二、診斷要求
Test Patterns (Stuck-At,Transition or Bridging)
推薦格式:Binary and STIL/WGL
必須使用與生成測試pattern完全相同的TetraMAX環(huán)境
原始Verilog netlist、原始測試協(xié)議文件(.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
捕獲故障設(shè)備的測試結(jié)果,兩種格式:Pattern-based failures &Cycle-based failures
Pattern-based failures
失敗的ATPG pattern number
pattern 0 是第一個(gè)pattern (通常是chain test)
設(shè)備輸出不匹配
輸出pin名稱或chain名稱
掃描單元位置失敗
設(shè)備輸出是掃描鏈輸出,并且pattern執(zhí)行chain unload操作
位置0最接近掃描輸出引腳
可選的預(yù)期數(shù)據(jù)
Cycle-based failures
“c”
表明此故障日志是基于周期的
設(shè)備輸出不匹配
失敗的周期數(shù)
指示失敗的向量編號,第一個(gè)向量為1
可選的預(yù)期數(shù)據(jù)
待。。。。。。。。。。。。。
總結(jié)
以上是生活随笔為你收集整理的ATPG原理及实现——11.Diagnosis的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 人工智能初识,百度AI
- 下一篇: C# 创建文件时,文件夹不存在,如何自动