ATPG原理及實現——8.atspeed atpg and occ

AT-SPEED Fault

兩種Faults：

• STR --- Slow to Rise
• STF --- Slow to Fall

檢測fault需要每個pattern需要兩個向量

當且僅當缺陷延遲導致邏輯無法通過全速測試時，才會發生故障

故障位置取決於故障模型

At-Speed有兩種fault模型：

①Transition fault (針對某個節點)

• 標准transition delay model
• small delay defect model

②Path Delay Fault（針對某條路徑）

Timing——last_shift launch & system_clock lauch

①last_shift launch

在捕獲周期開始時更改PI

set_delay  -lauch_cycle last_shift

 

 

②system_clocktlaunch

在每個捕獲周期開始時更改PI

set_delay  -lauch_cycle system_clock

 

 

 

 

 

………………待續