ATPG过程首先会进行DRC check ,其中clock rulechecking 是比较重要的。
这是clock to d 问题 ,可以看出clk即作为时钟,也作为数据输入,当时钟的有效沿来的时候,数据如果发生跳变,这会工具不知道该采前面的值还是后面的值
ATPG setting
Dealy testing 有两种方法
1. single capture launch off shift
2. double capture launch off capture
single capture 用最后一个 shift 时钟 产生transition ,很容易产生这个transition
Double capture 是有两个capture cycle ,第一个是用来产