DFT ATPG test coverage 分析与提高--1

基于故障模型分析coverage 丢失原因

 如下所示是故障模型分类，在ATPG 分析时，AU/UO/UC等类型的fault, 因为这几种类型，影响的Test coverage.

通过如下的Test Coverage 计算公式也能看出在分析debug 过程中需要关心的fault 类型.

通过下面的log 信息也能发现，Test Coverage 有两列数据，主要以第二列数字为准，因为它会把一些fault 类型进一步排除，例如AU.UDN . AU.EDT 等 . 如果想进一步排除，可以用命令：set_relevant_coverage  -exclude AU.TC 

 

UD fault:

a.       在ATPG 之前，工具会首先将testable fault 置为UD (UC+UO)类型，工具在分析后会进一步对其分类