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

 

 

 

 

 

………………待续