Mentor-dft 学习笔记 day21-ATPG Efficiency&Delay Test Set Creation

本文链接：https://blog.csdn.net/qq_42327670/article/details/127743916

本文探讨了在Mentor DFT中处理大量中止故障（UC或UO）的方法，如提高中止限制值和故障重新分类。介绍了如何通过set_random_ATPG命令设置ATPG的随机模式，并详细解释了Transition Delay Test Set Creation，用于检测transition故障，这些故障可能包括部分导电的晶体管或互连。此外，还讨论了启动-关闭-最后shift模式以及如何使用set_fault_type转换命令创建launch off shift patterns。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Approaches for Improving ATPG Efficiency

如果对最初创建模式后的测试覆盖率不满意，或者如果生成的pattern集太大，可以对几个系统默认值进行调整，以在另一次ATPG运行中改善结果。以下小节提供了有用的信息以及在模式创建期间获得更好结果的策略。
Reasons for Low Test Coverage

测试覆盖率低有两个基本原因：工具约束和中止条件。 ATPG_untestable （AU）或PU故障类别中的大量故障表明问题出在约束上。PU故障是一种可能检测到的或Posdet（PD）故障。大量UC和UO故障（均为未检测（UD）故障）表明问题出在中止条件下当试图确定低测试覆盖率的原因时，应该检查工具在确定性测试生成阶段打印的消息。这些消息可以提醒您有关冗余（RE）故障、ATPG_untestable（AU）故障和中止的错误。如果您不喜欢运行的进度，可以使用CTRL-C终止进程。

如果出现大量中止故障（UC或UO）导致问题，可以将中止限制设置为更高的值，或者修改某些命令默认值以更改应用程序的决策方式。如果将故障重新分类为检测（DT）或Posdet（PD）将导致测试覆盖率的显著提高，但中止故障的数量很高。这些重新分类，错误会增加公式的分子。可以使用公式和ATPG运行中的故障统计数据快速估计可能的改进程度。以下小节讨论了几种处理中止故障的方法。如果定义了多个ATPG约束或指定了set_contention_check On-ATPG，则该工具可能不会因为故障而中止，而是因为它不能满足所需的条件。在这两种情况下，您都应该分析总线或ATPG约束，以确保工具能够满足指定的要求。

Analysis of a Specific Fault

可以使用report_faults命令报告特定故障类别中的所有故障。可以使用report_faults列出的管脚路径名和类型，使用analyze_fault命令分别分析每个故障。 analyze_fault命令对指定的故障运行ATPG，显示有关处理和最终结果的信息。应用程序根据环境显示不同的数据。可以选择使用-display选项在DFTVisualizer中显示相关电路。
Aborted Faults Report

在ATPG过程中，如果需要ATPG尝试，工具可能会终止检测某些故障的尝试。这些工具将这些类型的故障（称为中止故障）放在AU故障类中，该类包括UC和UO子类。

Abort Limit Setup

如果故障列表包含多个中止的故障，如果更改中止限制，工具可能能够检测到这些故障。您可以增加回溯、测试周期或CPU时间的中止限制，并重新创建模式。要使用ATPG工具设置中止限制，请使用set_abort_limit命令。组合ATPG的默认值为30。时钟顺序中止限制默认为组合设置的限制。report_environment命令和确定性测试生成开始时的消息都指示组合和顺序中止限制。如果它们不同，则顺序限制遵循组合中止限制。应用程序将达到限制后仍未检测到的任何故障分类为中止故障，并将其视为未检测到故障。 report_aborted_faults命令显示并识别中止故障的原因。

Random Pattern Usage Setup

ATPG工具允许指定在创建未压缩模式时是否使用随机pattern生成过程。通常，如果使用随机模式，测试生成过程会运行得更快，并且集合中的测试模式数量也会更多。如果未指定，默认情况下除了使用确定性模式之外，还使用随机模式。如果只使用