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
- 可選的預期數據
待。。。。。。。。。。。。。