Mentor-dft 学习笔记 day29-Bridge Fault Model&Critical Area Based Open Pattern Generation

Bridge Fault Model 

桥梁故障可以提取为四向桥或双向桥。默认情况下，bridge static faults将被写入四向桥， bridge delay faults 将被写为双向桥。以下章节描述了这两种桥梁模型。

Four-Way Bridge Model for Static ATPG

对于网桥静态模型，ATPG被迫生成总共四个静态模式，其中两个模式假设网络A是攻击者，网络B是受害者，另外两个模式假定网络B是攻击者，而网络A是受害者。 这如图8-75所示。如果两个网络可以同时观察，则可能只生成两个模式。

Two-Way Bridge Model for Delay ATPG

对于桥延迟模型，ATPG被迫生成总共两个延迟模式。假设网络A是具有恒定状态的攻击者，而网络B是具有上升或下降边缘的受害者，则生成一种模式。根据网络B上的边缘，网络A上的常量值为

00或11。假设网络B是具有恒定状态的攻击者，而网络a是具有上升或下降边缘的受害者，则生成第二种模式。根据网络A上的边缘，网络B上的常量值为00或11。如图8-76所示。

How to Generate Bridge Patterns

在使用extract_fault_sites命令提取桥之后。 正如extract_ fault_sites命令描述中所解释的，创建的UDFM文件可以在Tessand Shell中用于生成基于关键区域的桥接模式。从零开始生成静态pattern的相应dofile示例如下：

set_context patterns -scan

read_flat_model my_design.flat_model.gz

set_fault_type udfm -static_fault

read_fault_sites my_design_bridges.udfm

add_faults -all

create_patterns

write_patterns my_design_static_bridges.stil.gz -stil -replace

 可对于延迟pattern生成，请按如下方式更换故障类型：

set_fault_type udfm -delay_fault

并相应地重命名使用write_patterns命令定义的pattern文件， “add_faults-all”将添加UDFM中定义的网桥故障。可以在add_faults命令中指定-verbose选项，以获取无法与设计的网络名称匹配的网络名称的报告。 以下是基于关键区域的桥梁静态顶出ATPG的dofile 示例，可能需要根据 设计进行调整。

set_context patterns -scan

read_flat_model my_design.flat_model.gz

set_fault_type udfm -static_fault

read_fault_sites my_design_bridges.udfm

add_faults -all

read_patterns apt1_CA1_atpg.pat.gz

simulate_patterns -source external

report_statistics

repo