tmax diagnosis

當(dāng)設(shè)備測(cè)試失敗時(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

必須使用與生成測(cè)試pattern完全相同的TetraMAX環(huán)境

　　　原始Verilog netlist、原始測(cè)試協(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è)備的測(cè)試結(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ù)

　　　指示失敗的向量編號(hào)，第一個(gè)向量為1

可選的預(yù)期數(shù)據(jù)

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

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。