跑完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