【Tessent】Scan and ATPG 【ch8 Test Pattern Generation】Timing-Aware ATPG

已于 2023-06-05 16:55:03 修改
阅读量670 收藏 7
点赞数 1
分类专栏： # Tessent shell Scan and ATPG 文章标签： 其他
于 2023-06-05 16:16:21 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Tranquil_ovo/article/details/131010332
版权

Timing-Aware ATPG

时序感知ATPG从标准延迟格式（Standard Delay Format ，SDF）文件读取时序信息，并尝试生成使用最长检测路径来检transition fault的向量。

1. Slack Calculation

Slack等于路径延迟和时钟周期之间的裕度(margin)。Small Delay Fault Model 中的 Slack 表示可以检测到的最小延迟故障。
下图所示为slack的计算。假设三条路径R1，R2，R3可以检测到一个故障，其路径延时分别为 8.5ns，7.5ns 和 4.5ns。若时钟周期为10ns，则这三条路径的 slack 依次为 1.5ns，2.5ns 和 0.5ns。

对于最长的路径，从 leading edge 的 launch，到下一个时钟周期的 leading edge 的 capture ，具有 1.5 ns 的 slack，因此该路径能够检测到最小延时缺陷是1.5ns。
对于最短的路径，从 leading edge 的 launch 到当前时钟周期的 falling edge 的 captures，具有0.5ns 的 slack。为了检测故障点（fault site）的小延迟，应该生成能够通过该路径（Shortest）检测故障的测试向量，因为它具有最小的 slack。
在这里插入图片描述
=============================================================================
补充：

在每个周期中，第一个出现的边沿就是 leading edge，最后一个出现的边沿就是 trailing edge。
在这里插入图片描述
=============================================================================

Path Delay Calculation

当 clock skew 存在时，它会影响到达时间和传播时间。在计算路径延迟时，Tessent 工具使用以下算法来确保考虑到时clock skew 的影响：

  • 计算设计中每一个门的到达时间（arrival time）

时序单元到达时间的初始值等于其所有时钟端口之间的最大时钟延迟。这意味着任何gate的到达时间是和时钟输入端口的值合适改变相关，而不是驱动触发器何时改变值相关。

  • 计算传播时间（propagation time）

对于直接驱动时序单元（clock cone）时钟端口的门，初始传播延迟设置为零；
对于直接驱动时序单元（data path）数据端口的门，初始传播延迟设置为其时钟延迟的负值（而不是零）。

计算公式如下：
在这里插入图片描述
示例：
下图所示的示例电路的时钟周期是8，根据上述算法的延时信息计算结如图上内容所示：
在这里插入图片描述
根据计算结果，关键路径应该是 dff2 → g1 → g3 。

Slack Calculation When Timing Exceptions Are Present

False paths 和 multicycle paths 会影响 slack 和 path delay 的计算。

False Paths

multicycle paths

2. Synopsys Design Constraint Derived Clock Timing

timing-aware ATPG 使用来自 SDC（Synopsys Design Constraint）的 derived clocks 的 divided-by ratio 信息，并根据SDC中的定义对其进行调整。

如果图 8-48 示例中的时钟是一个 divided-by-two clock，那么其时钟周期是20ns。

3. Delay Test Coverage Calculation

ATPG计算一个称为延迟测试覆盖率（Delay Test Coverage）的参数（metric），以确定测试向量的质量。当启用timing-aware ATPG时，延迟测试覆盖覆盖率会自动包含在ATPG统计报告中。

每个待测故障的权重根据slack进行修改，slack 最接近最小动态 slack 的路径拥有更高的权重。

延迟测试覆盖率（delay test coverage，DTC）的公式：
在这里插入图片描述

  • max_static_interval —— 通过故障点的所有物理路径中，发射沿和捕获沿之间的时间间隔的最大值。下图的实例中，R1 和 R2 的时间间隔是一个完整的时钟周期，而R3的时间间隔是半个时钟周期，图8-48所给的示例中，通过故障点的最大动态时间间隔是一个时钟周期。

  • dynamic_slack —— 用于检测故障的路径的延时和该路径的发射沿和捕获沿之间的时间间隔的差值。

  • static_slack —— 通过故障点的所有物理路径的slack的最小值

=============================================
结合7.3节的例子，对 DTC 的一些思考：

时钟周期减去 slack 不就是路径延时？
那么 max_static_interval - static_slack 其实就是通过故障点的最大路径延时，
max_static_interval - dynamic_slack 其实就是确定用以检测故障的路径的延时，
简单而言，应该是路径本身的延时越大，能够检测到的延时的范围就越大，所以这里就采用路径延时的比值来作为评估测试向量质量的参数，称之为延时测试覆盖率。
=============================================

在这里插入图片描述

在图 8 - 48 给出的示例中，minimum slack 是0.5ns，每条路径的延时测试覆盖率如下：

在这里插入图片描述

Undetected faults 的延时测试覆盖率为 0，DI faults 的延时测试覆盖率为100％。

Chip-level 延时测试覆盖率的计算是对所有的故障的延时测试覆盖求平均值。

4. Timing-Aware ATPG Versus Transition ATPG

表 8-4 给出了transition fault ATPG 和 tinming-aware ATPG 的对比。

测试用例 STARC03 的特征如下：

  • Design Size: 2.4M sim_gate
  • Number of FFs: 69,153
  • CPU: 2.2Ghz
  • 315 sec to read SDF file that has 10,674,239 lines

在这里插入图片描述

ATPG运行时的相关参数通过set_atpg_timing命令设置。

5. Timing-Aware ATPG Limitations

执行 timing-aware ATPG的一些限制：

  • SDF文件的读取有一定的限制，read_sdf命令中有具体的描述
  • 不支持 Launch-off shift
  • timing-aware ATPG 的运行速度要比常规的 transition fault ATPG 慢8倍。Targeting critical faults may help
  • 大规模的组合回路可能会减慢计算静态松弛（static slack）的分析速度。这也使得实际的延迟分析不那么准确。
  • timing-aware ATPG 的 transition 测试覆盖率可能会低于常规的transition fault ATPG，因为timing-aware ATPG试图通过更长的路径来检测故障，因此更有可能达到中止限制。可以使用creat_patterns命令的-coverage_effort high选项来提高transition测试覆盖率，但是同时，改选项也会增加运行时间。
  • NCP（Named Capture Procedure）中的时序信息不包括在静态松弛计算中。
  • 保存检查点（check point）时，不会存储SDF数据库。使用 flattened model 时，必须使用read_SDF命令重新加载SDF数据
  • 当指定-Slack_margin_for_fault_dropping时，不能使用Static Compression（compress_patterns命令）和 pattern ordering（order_patterns指令）。
  • SDF文件不会影响good machine simulation的值。SDF文件主要用于引导 timing-aware ATPG 检测 long path 上的故障以及计算延迟测试覆盖范围。也就是说，工具不会从SDF文件中的延迟提取（或推断）false path 和 multicycle paths 。您须通过SDC文件或add_false_paths命令来提供该信息。

6. Inaccuracies in Timing Calculations

基于SDF文件执行timing-aware ATPG时，导致时序计算不准确的部分原因如下：

  • 不支持 Device Delay
  • 不支持 Conditional delay。对于给定的 IOPATH 或 INTERCONNECT 引脚对，工具在计算静态和实际延迟时，使用的是为该引脚对定义的所有条件延迟中的最大值。
  • 支持Negative delay。但是，如果路径延迟是负数，则在计算延迟覆盖率、路径延迟和松弛等参数时，工具会强制延迟值为0

7. Running Timing-Aware ATPG

使用ATPG工具执行Timing-Aware ATPG的基本步骤

7.1 Prerequisites

  1. 因为 timing-aware ATPG是建立在 transition ATPG 技术之上的，所以在开始此过程之前，必须先设置transition ATPG。

  2. STA（static timing analysis）得到的 SDF 文件

7.2 Procedure

  1. 使用read_sdf命令从SDF文件中加载时序信息
ANALYSIS> read_sdf top_worst.sdf
  1. 使用set_atpg_timing命令定义时钟信息。您必须为设计中的所有时钟定义时钟信息，即使是那些未用于ATPG（未用于NCP过程）的时钟。
ANALYSIS> set_atpg_timing -clock clk_in 36000 18000 18000
ANALYSIS> set_atpg_timing -clock default 36000 18000 18000
  1. 使用set_ATPG_timing命令启用 timing-aware ATPG。
ANALYSIS> set_atpg_timing on -slack_margin_for_fault_dropping 50%

如果为故障排除 (fault dropping) 指定了裕度 (slack margin)，则故障仿真会保留故障以生成向量，直到达到阈值为止。在正常的 transition fault 仿真过程中，一旦检测到故障，故障就会被丢弃（drop）。

  1. 使用set_atpg_timing命令选择时序关键的故障
ANALYSIS> set_atpg_timing -timing_critical 90%
  1. 运行ATPG
ANALYSIS> create_patterns -coverage_effort high
  1. 使用report_statistics命令报告 delay_fault 的测试覆盖率
ANALYSIS> report_statistics

7.3 Examples

图8-52显示了一个测试用例，其中有17个扫描触发器和10个组合门。
每个门具有1ns的延迟，并且扫描触发器上没有延迟。G5/Y 处插入了一个 slow-to-rise fault。测试周期为12ns。最后一个扫描触发器（U17）具有 OX 单元约束，因此它不能用作观察点。

最长的路径从U1开始，经过 G1 到 G10，并在U17结束。总路径延迟为10ns。因为U17不能用作观测点，所以timing-aware ATPG 使用从U1开始、经过 G1 到 G9 并在 U16 结束的路径。总路径延迟为9ns。

因此，
静态最小松弛度（static minimum slack）为 12ns-10ns = 2ns；
最佳实际松弛度（the best actual slack） 为 12ns-9ns = 3ns。

在这里插入图片描述

图 8-53 显示了本例中使用的dofile。如注释所述，dofile将执行 7.2 小节中描述的过程。
在这里插入图片描述
图8-54显示了故障统计报告。timing-aware ATPG使用了最长的可能路径，即延时为9ns的路径。静态最长路径（Static longest path）延时为10ns。延迟测试覆盖率为 9ns / 10ns = 90%。

在这里插入图片描述

8. Troubleshooting Topics

该部分描述了与 timing-aware ATPG 相关的常见问题。（troubleshoot，疑难解答）

Run Time Reduction for Timing-Aware ATPG

Errors and Warnings While Reading SDF Files

Warnings During ATPG

Actual Slack Smaller Than Tms

Tranquil_ovo
关注
  • 1
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Mentor-dft 学习笔记 day27-Timing-Aware ATPG vs. Transition ATPG
qq_42327670的博客
11-22 588
Timing-Aware ATPG vs. Transition ATPG
Tessent Atpg系列 第八章 Test Pattern Generation - ATPG Tool Pattern Types（sequential pattern概念）
ciscomonkey的博客
06-10 3379
默认情况下工具是会先生成basic scan pattern，basic scan pattern是将一组values 给所有的scan cells( load in)，以及 primary PI，另外再所有的primary output 以及scan cell上进行观察（measure po）, 工具会使用默认的scan clock 来抓取数据到observable scan cells(capture_clock_on,capture_clock_off) . 每一只pattern都是独立的。 ....
tessent scan and ATPG User's Mannual (atpg_gd March 2019 )
04-11
2019 March 最新版,scan atpg文档。描述了scan atpg的操作flow，工具原理
Tessent Scan and ATPG User‘s Manual 2022 ch3 Common Tool Terminology and Concepts
Tranquil_ovo的博客
03-20 405
Tessent Scan和ATPG工具的术语、内部流程和其他工具概念，例如如何查看设计和扫描电路。
ATPG user guide[tessent 2015]
09-11
ATPG user guide[tessent 2015]; Tessent scan and ATPG user Manual, version: 2015.2
Tessent scan & ATPG(2) ATPG basic flow
旺旺家族的传说
11-23 8473
ATPG 的基本步骤 DFT lib 一般vendor会提供 也可使用 tessent 的libcomp工具 将simulation lib转化为 DFT lib 什么是 simulation lib ? 是仿真专用的库吗? 那仿真和综合 布局布线为什么要分开来? black boxes 存在一些block 不需要做scan chain的 就可以定义为black box; #example add_black_boxed -module core #改变black box 的输出行为 add_black
Tessent Scan and ATPG User's Manual
03-13
Tessent Scan and ATPG User's Manual
Tessent Scan and ATPG.pdf 最新版本
04-24
SIEMENS EDA Tessent Scan and ATPG User’s Manual Software Version 2022.4 Document Revision 27
Tessent® Scan and ATPG User's Manual.pdf
12-27
Tessent® Scan and ATPG User's Manual.pdf
【Tessent】Scan and ATPG 【ch2 Scan and ATPG Basics】(1) Scan Design 和 ATPG 概述
Tranquil_ovo的博客
03-20 1351
Scan and ATPG User‘s Manual 2022 用户手册第二章前两部分的内容，Scan Design和ATPG的概述
Tessent Atpg系列 第七章 Running ATPG Patterns -- 如何书写proc文件
ciscomonkey的博客
06-06 4098
本篇文章是记录Tessent scan ATPG系列 本文并非是对userguide的完全翻译，而是自己对userguide的理解，此外，有部分比较深入的内容可能需要后续实验验证。本系列并不对tessent scan做过多描述。 请勿随意转载： CSDN 博主： ciscomonkey一种是在使用tessent scan之后使用ATPG 另一种是使用第三方工具，如snps的DFTC之后使用tessent的ATPG。 这里我们仅仅介绍without tessent scan之后tessent ATPG:对于t
Tessent scan & ATPG (1)scan chain基本原理
热门推荐
旺旺家族的传说
11-19 1万+
从制造缺陷开始，介绍scan chain的基本原理
Tessent scan & ATPG(8) Debug low test coverage(低测试覆盖率的原因及debug方法)
旺旺家族的传说
08-29 6163
如何利用工具debug测试覆盖率低的原因
Pattern Failures Due to Timing Exception Paths
最新发布
weixin_44954910的博客
06-08 157
在ATPG之前，可使用STA工具在设计上执行时序优化。这个process也会定义timing exception paths，包括以下：False Path——在操作的功能模式下，path不能被敏化（当确定电路的时序性能时，STA工具忽略这些paths）。Multicycle Path——具有超过一个clock cycle的信号传播延迟的path。
别人的学习DFT路线
weixin_43641959的博客
08-26 1633
很多朋友和我一样也是从FPGA转行入到数字IC，所以对数字IC很多知识也不是很清楚，我也一样不清楚，我想把我的数字IC学习路线记录在此, 全网也没有博客能如此详细的汇总这条路线并且分享出来，本博主希望开一个第一次，方便日后查阅和各位同道中人学习分享。另外，知识也需要不断巩固。经常回头看看，才能加深对知识的理解，当然我并不会写下所有理解的东西，因为有的需要你去探索，感悟，才属于自己。部分个人感悟文章，感兴趣，可以读者根据标题自行去研究，暂缓不公开，每篇文章都cost博主大量时间版权所有，请勿抄袭转载。...
Mentor-dft 学习笔记 day39-Test Pattern Formatting and Timing
qq_42327670的博客
12-09 657
Test Pattern Formatting and Timing
Tessent scan&ATPG(6)测试向量配置 ,at-speed pattern的生成以及OCC的插入
旺旺家族的传说
12-28 9908
Test pattern management 测试向量管理 生成最佳的pattern #使用 create_patterns #时会默认将所有的fault 类型加入到consider中;执行大量的设计分析和DRC; #创建所有必要的pattern 类型 #监控pattern的生成(包括实时的coverage pattern count 以及执行时间等) 如果必要会修改参数 #如果必要 自动运行top_up的方式 ##使用 report_patterns #报告当前生成pattern的信息; 你可以展示所
PrimeTime 时序分析流程和方法
Augusdi的专栏
03-17 3975
PrimeTime是Synopsys的一个单点的全芯片、门级静态时序分析器。它能分析大规模、同步、数字ASICS的时序。PrimeTime工作在设计的门级层次，并且和Synopsys其它工具整合得很紧密。 基本特点和功能： 时序检查方面： 建立和保持时序的检查（Setup and hold checks） 重新覆盖和去除检查（Recovery and removal checks） 时钟脉...
5.1 Tessent Atpg系列 第八章 Test Pattern Generation - Verify Test Pattern
ciscomonkey的博客
06-09 3914
为什么要做基于timing的仿真，意义在于可以比较ATPG工具和simulator工具的差异性。因为时序的差异导致不同的结果。首先你需要通过write_patern 这句cmd来写出pattern，默认是parallel 模式，除非你用-serial 指定写出serial, 因为serial 文件非常大，所以你可以使用-sample 开关写出部分pattern即可，工具会根据每一种pattern 类型都会至少保存一只。 另外，你也可以使用-start -end 开关来减少文件大小，但是这样的截取，是不可靠的
在跑ATPG transition故障时，为什么要在capture之前设置external_capture?
02-21
因为external_capture可以检测到ATPG transition故障，从而使模拟器能够捕获发生在transition之前的故障，这样才能确保ATPG transition故障能被正确检测到。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值