（DFT学习记录二）故障和缺陷建模

Die Galapagosinseln pinguin

于 2024-08-12 16:14:16 发布

阅读量1.5k

点赞数 33

文章标签：学习运维

本文链接：https://blog.csdn.net/weixin_45049871/article/details/141123605

版权

一、故障建模

故障时缺陷的代表，用于计算机分析电子组件的缺陷。

错误时缺陷导致的，错误时观察到的故障。

故障模型指的是与实际缺陷密切相符、可轻易在计算机程序中浮现的且需要的优化计算机处理时间尽可能少的故障模型。

故障抽象

电路出现一个缺陷可以导致各种RTL故障，影响到各种抽象级。

功能故障

影响系统功能的故障为功能故障。从外部看某个元器件数据路径如果工作不正常，视为一种系统及功能故障。如反相器中的一个故障晶体管导致反相器组成的多路选择器工作不正常。

结构故障

使用上述功能性模型代表故障分析十分复杂，需要对电路各种情况详细分析。可以通过简化魔性，考虑互联故障，将互联两

端的故障和互联自身故障笼统归结为互联的故障，该模型为结构模型。

反相器工作正常，a线、w线可能有故障。

如果该反相器用于门级电路，如多路选择器，则反相器故障在i线上永远固定为1时，可进行门级结构建模。原因：s=0 ，G2的栅极电容充电至1；当s=1，故障反相器G1输出Z，Z使i线上电荷时钟时钟保持为1。沿着这条线对电路所有门推广建模，所有门故障和互联故障可根据电路各电线上的故障进行结构建模。

确认故障

如下图，反相器发生故障，l4=1，则故障输出和正常输出表布尔函数：

$w_{fault}=a+b \cdot s$

$w_{correct}=a \cdot \overline{s} + b \cdot s$

对应卡诺图：

输入abs=101，可测试电路是否存在故障。

二、故障分类：

1.固定0/1开路故障：0就是断路，1为线路被电源电压牵引始终保持1。

2.桥接故障：与桥接、或桥接

与桥接：两条桥接起来的线路形成了一个与函数，向桥接所有目的地馈电。

或桥接：

3.状态依赖型故障

一条线路上的故障取决于另一条线路上的某个特定值。后一条线路影响前一条线路值，但是不会出现故障值。

$w_{fault}=a \cdot \overline{s}$

这种故障模型和或桥接故障的区别是：或门建模输出替换了l7、l8目的地，而状态性依赖故障模型只影响l8。

4.多故障

上述故障同时出现在一个电路中。多个故障可能使彼此故障失真，时的两个或多个故障无法被检测到。

处理多故障需要简化：

第一步：选出固定故障模型
第二部：假设它是单故障并忽略多故障

列举出所有的固定故障需要大量分析，将分析晶体管故障映射到固定故障的简单电路。实心点表示1的故障，空心点表示0 的故障。一条输入线路和一条输出线路组成故障现场，每个现场两种故障，一共32种。

以下为GPT-4o回答：

g：通常表示逻辑门的类型。例如，g可能表示“gate”（门），具体类型可以是AND门、OR门、NAND门、NOR门等。
n：通常表示该逻辑门的输入数量。例如，n可能表示该逻辑门有n个输入。

因此，“一条有g、n输入门的电路”可以理解为一个具有n个输入的g类型逻辑门的电路。

故障现场的计算

在数字电路中，常见的故障类型包括：

开路故障（Open Circuit Fault）：信号线断开，导致信号无法传输。
短路故障（Short Circuit Fault）：信号线短路，导致信号传输错误。
固定故障（Stuck-at Fault）：某个节点固定在逻辑高（1）或逻辑低（0）。

为了计算和检测电路中的故障现场，通常使用以下方法：

故障模型：定义电路中可能出现的故障类型和位置。例如，Stuck-at-0和Stuck-at-1故障模型。
故障模拟：通过模拟工具对电路进行故障注入和仿真，观察电路在故障条件下的行为。
测试向量生成：生成一组输入向量，用于激发电路中的故障并使其在输出上可观察到。
故障覆盖率：计算测试向量能够检测到的故障数量与总故障数量的比率。

具体到一个具有n个输入的g类型逻辑门，假设我们使用Stuck-at故障模型，故障现场的计算步骤如下：

确定故障位置：对于一个n输入的逻辑门，故障可能出现在每个输入端和输出端。
定义故障类型：对于每个故障位置，定义可能的故障类型（Stuck-at-0或Stuck-at-1）。
生成测试向量：生成能够检测这些故障的输入向量。例如，对于一个2输入的AND门，可能的输入向量是00、01、10、11。
故障注入和仿真：在仿真工具中注入故障并运行测试向量，观察输出是否与预期不符。

示例

假设我们有一个2输入的AND门（g = AND, n = 2），我们需要检测Stuck-at故障：

故障位置：输入A、输入B、输出Y。
故障类型：Stuck-at-0和Stuck-at-1。
测试向量：00、01、10、11。

对于每个故障位置和类型，注入故障并运行测试向量：

输入A Stuck-at-0：无论输入是什么，A始终为0。
输入A Stuck-at-1：无论输入是什么，A始终为1。
输入B Stuck-at-0：无论输入是什么，B始终为0。
输入B Stuck-at-1：无论输入是什么，B始终为1。
输出Y Stuck-at-0：无论输入是什么，Y始终为0。
输出Y Stuck-at-1：无论输入是什么，Y始终为1。

通过观察输出是否与预期不符，可以确定故障是否存在以及故障的位置和类型。