跑完tmax后,会出来一份这样的报告,首先需要看懂这份报告。

其中覆盖率的计算是DT和UD的faults除以total的faults.如图(57244+144)/58628=97.8338%.和报告相对应。
官方的计算公式如下:(PS: 有点复杂,看不太懂)

这不是重点,重点是要搞清楚各个faults的含义,即DT,PT,UD,AU,ND都代表什么?
使用命令:
set_faults -summary verbose
run_atpg -auto
可以查看更详细的fault分类:

1. DT :
DS
DI
2.PT :
AP
NP

最低0.47元/天 解锁文章
1948

被折叠的 条评论
为什么被折叠?



