Power-Aware DRC and ATPG
本章介绍用于ATPG工具的
power-aware DRC和ATPG流程。
Power-Aware Overview
电子行业在设计连续体的主要方面采用了低功耗特性。EDA供应商和主要半导体公司定义了常用的电力数据标准格式来描述电力需求:UPF和CPF。
Tessent Shell supports the following versions of the UPF and CPF formats:
•
IEEE 1801 standard / UPF 2.0
•
Common Power Format (CPF) 1.0 and 1.1
可以将此电源数据直接加载到工具中以收集电源信息。加载后,工具执行必要的DRC,以确保DFT逻辑相对于设计的功率域正确插入,如果设计通过了规则检查,则使用给定的功率模式配置执行ATPG
该工具的低功耗功能为您提供了执行以下操作的方法:
•提供DRC以跟踪活动电源模式,并确保扫描操作在当前电源配置下工作。
•提供对传统故障模型进行测试的能力,同时了解电源模式配置。
Assumptions and Limitations
电源感知功能有一些假设和限制。
•电路层次结构保存在CPF或UPF文件中,与网表相同。注意,对于模块化EDT设计,需要保留包含EDT逻辑的模块层次结构,否则工具可能无法将EDT块与电源域关联。因此,与EDT逻辑相关的一些功率DRC规则可能无法执行。
•功率感知DRC规则和报告基于负载功率数据(UPF或CPF)。DRC规则不包括跨越不同电源模式的测试。
Multiple Power Mode Test Flow
对于具有多个测试模式的设计,每个电源模式的扫描链配置可能不同。
应该使用以下步骤分别为每个电源模式执行DRC和ATPG:
1.使用test_setup程序配置要测试的电源模式。
2.加载CPF文件。该工具自动识别系统当前配置的电源模式,并将其报告给用户。
Pattern Generation
ATPG
仅为当前功率模式生成pattern。如果有不同的电源pattern启用相同的电源域(仅在不同的电压配置中),则可以通过加载pattern文件并执行故障分级来重用pattern集。pattern集的重用自行决定。
尽管pattern重复使用,仍应为要测试的每个电源模式编写一个test_setup过程,并对每个电源模式执行DRC检查,以确保扫描链在电源模式下正常运行。此外,应存储一个新的pattern集,以反映相应功率模式的更新的test_setup。最后,在ATPG之后编写pattern时,工具还应将当前电源模式信息(作为注释)保存到pattern文件中,以供用户参考。
Power-Aware ATPG for Traditional Fault Models
在传统故障模型测试阶段,在捕获周期开始时,通过测试程序将电路配置为静态功率模式,并在整个捕获周期内保持相同的功率模式。ATPG引擎明确地阻止功率控制逻辑改变有功功率模式。
在ATPG之前执行低功率DRC以检查活动功率模式是否可以被干扰,并且ATPG使用分析结果来确定是否需要任何额外的ATPG努力来保持静态功率模式。这类似于用于总线争用检查的E10规则,ATPG使用该规则来启用额外的调整以防止总线争用。如果电路包含为所有电源域供电的电源模式(称为all_on状态),则可以将此状态用于传统故障模型。ALL_ON状态允许在一次测试集运行中测试电路的逻辑故障。此外,此状态还允许工具在此运行中对整个电路执行DRC。
Power Partitioning
如果电路需要在给定时间内使用部分电源域进行分区,则必须执行多次ATPG运行;具体来说,每次运行时都会使用其过程文件和扫描配置。必须确保每个电源域至少包含一次运行。
此外,芯片级测试覆盖率可以从每个单独的运行中手动计算。
在多功率分区流的情况下,总是在功率域上,故障可能会被多次定位。要减少在常开域中为相同故障创建pattern,可以使用以下命令: