ATPG原理及實現——4.Faults and Coverage


一、主要的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

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM