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

可選的預期數據

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

總結

以上是生活随笔為你收集整理的ATPG原理及实现——11.Diagnosis的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。