一种精确故障效应传播的形式化模型.pdfVIP

2014年 10月 西 北 工 业 大 学 学 报 Oct． 2014 第 32卷第5期 JournalofNorthwestern PolytechnicalUniversity Vo1．32 No．5 一 种精确故障效应传播的形式化模型 黄兴利 ，胡伟 ，慕德俊 ，郭蓝天 ，李哲 (1．西北工业大学 自动化学院，陕西 西安 710072；2．温州大学 商学院，浙江 温州 325035) 摘 要：大规模集成电路通常隐含难以检测的设计错误，而在使用过程中又可能产生新的故障点。对 故障效应的传播路径和范围进行准确评估，有助于确定关键模块是否受到故障的影响和定位抑制故 障效应传播的关键点。然而，常规的故障效应传播分析方法往往忽略了逻辑门对故障传播的阻断效 应，以及扇出重回聚区域对故障效应传播的影响。提出了一种精确的故障效应传播模型，并采用布尔 逻辑函数对所提出的模型进行了形式化描述。实验结果表 明：所提出的模型可对故障效应的传播范 围进行更为准确地评估，并显著降低误报率。 关 键 词：故障效应分析，故障效应传播，形式化模型，逻辑门 中图分类号：TP309 文献标志码 ：A 文章编号：1000—2758(2014)05．0719．06 随着集成电路设计规模的不断增大，测试与验 保守 。 证覆盖率越来越难 以保证，因此 ，电路中往往会隐含 现有方法通常采用多值逻辑或不确定态对故障 难 以检测的设计错误 ，而这些错误可能在特定条件 效应传播进行建模和仿真 。由于模型的不精确 下被触发，对系统的稳定性造成严重影响。此外，随 性 ，分析结果通常会对故障效应的影响范围作乐观 着集成电路的使用和老化，或者在极端的工作环境 或保守的估计，从而相应地导致错误被忽略或额外 下，电路中又可能产生一些新的故障点。当已知电 设计代价。针对现有故障效应传播模型的不足，本 路中存在故障时，往往需要借助分析手段来确定该 文提出了一种面向故障效应传播的精确模型，并采 故障的传播路径和影响范围，以确定关键模块是否 用布尔逻辑函数对改模型进行了形式化描述。该模 受到该故障的影响并定位抑制故障效应传播的关键 型能够实现对集成电路中故障的传播路径和影响范 点。故障效应传播分析具有很高的复杂度，确定故 围的准确评估，可为集成电路中故障效应传播分析 障能否传播至特定的点可线性归约为等价的可观测 提供一种形式化的描述手段。 性问题 (NP完全问题)¨J。导致故障效应传播分析 困难性的原因主要有以下两方面： 1 基本逻辑门的故障效应传播模型 一 方面，逻辑电路在特定输入组合下能够阻断 故障效应的传播，而在其他输入组合下，该故障效应 在后续讨论中，本文采用大写字母表示布尔变 又可正常传播。以二输入与非门(NAND一2)为例， 量，如 、B、0等， 、 和0分别上述变量的故障状 当NAND一2的一个输入为逻辑 0‘’时，包含于另一 态标签。当一个布尔变量的故障状态标签为逻辑 输人中故障的传播将被阻断；而当NAND一2的一个 l‘’时，表明该变量包含一个故障；而当布尔变量的 输入为逻辑 ‘1’时，另一输入中的故障将被正常传 故障状态标签为逻辑 0‘’时，表明该变量不含故障。 播至输出。另一方面，电路中的扇出重回聚区域 为保证模型的通用