一、主要的fault分類
DT——Detected
PT——Possibly Detected
UD——Undetected
AU——ATPG Untestable
ND——Not Detected
使用set_faults -symmary verbose查看更詳細的fault分類:
① DT——Detected
DS(detected by simulation)
DI(detected by implication)
② PT———Possible Detected Faults
AP(ATPG untestable,Possibly detected)——當前的ATPG設置下無法檢測到此故障
NP(Not analyzed, Possibly detected) ——不能證明無法檢測到故障;可能中止限制太低導致
F2的Q端的值不唯一
③ UD——Undetectable
UU ——undetectable unuse fault
UO——undetectable unobservable
UT——undetectable tied
UB - undetectable blocked
UR - undetectable redundant
④ AU——atpg untestable
⑤ND——not detected
NC——not controlled
NO——not observed
二、報告
DRC后初始,還沒開始產生pattern:
scan atpg后
三、測試覆蓋率&故障覆蓋率
查看故障覆蓋率:
BUIID-T> set_build -nodelete_unused_gates
. .
TEST-T>set_faults -fault_coverage
TEST一T> report_summaries
四、add fault &定義nofault、部分故障測試
1.add fault:
- 增加Stuck-at-1 和 stuck-at-0 fault:
add_faults <pin_path l inst_name l -module <name> l -all>
- 將fault位置放置在故障接口文件中,讀取文件來定義故障:
read_faults filename
2.定義nofault:
- 在add fault之前定義nofault來禁止故障位置:add_nofaults
Pin pathname、Primitive instance pathname、Hierarchical instance pathname、Module name
- 將fault位置放置在故障接口文件中,讀取文件來定義Nofault:
read_nofaults filename
//Example: Exclude faults in A2D converter and JTAG block add_nofaults /ANALOG2DIGITAL
//12456 faults were added to nofault list add_nofaults /ORCA_JTAG_BSR_top_inst
//2434 faults were added to nofault list add_faults -all
3.測試部分故障:
remove_faults -retain_sample 只測試多少%的pattern
TEST-T> add faults -all //87098 fau1ts were added to fault list. TEST-T> remove faults -retain 5 //Fault sampling finished: //faults reduced from 87098 to 4308,只測試5%的pattern
五、故障文件
1.格式:
可使用write_fault保存fault文件
--代表與前面的fault等價
2.故障等價:
兩個輸入端的SA0與輸出端的SA1等價,因此fault從6個變為4個
3.Collapsesd VS. Uncollapsed Faults
未折疊的故障列表包含所有可故障引腳上的故障;
折疊的故障列表僅包含“主要”故障(即每組等效故障一個故障);
- 報告測試覆蓋率
set_faults -report [-collapsed l -uncollapsed]
- 寫出故障列表
write_faults <file> [-collapsed l -uncollapsed]
六、保存fault
- 保存所有故障or僅保存特定的類:
write_faults my_asic_all.flt -replace -all
write_faults my_asic_au_nd.flt -replace -class {au nd}
- 選擇collapsed or uncollapsed lists:
write_faults my_asic_col.flt -all -collapsed
write_faults my_asic_uncol.flt -uncollapsed -all
- 以壓縮形式保存故障文件
write_faults my_asic_all.flt.gz -all -compress gzip