| 一种精确故障效应传播的形式化模型 |
| |
| 引用本文： | 黄兴利,胡伟,慕德俊,郭蓝天,李哲.一种精确故障效应传播的形式化模型[J].西北工业大学学报,2014(5):719-724. |
| |
| 作者姓名： | 黄兴利 胡伟 慕德俊 郭蓝天 李哲 |
| |
| 作者单位： | 1. 西北工业大学 自动化学院，陕西 西安 710072; 温州大学 商学院，浙江 温州 325035
2. 西北工业大学 自动化学院,陕西 西安,710072 |
| |
| 基金项目： | 国家自然科学基金，教育部博士点基金，中国博士后科学基金面上项目 |
| |
| 摘 要： | 大规模集成电路通常隐含难以检测的设计错误,而在使用过程中又可能产生新的故障点。对故障效应的传播路径和范围进行准确评估,有助于确定关键模块是否受到故障的影响和定位抑制故障效应传播的关键点。然而,常规的故障效应传播分析方法往往忽略了逻辑门对故障传播的阻断效应,以及扇出重回聚区域对故障效应传播的影响。提出了一种精确的故障效应传播模型,并采用布尔逻辑函数对所提出的模型进行了形式化描述。实验结果表明:所提出的模型可对故障效应的传播范围进行更为准确地评估,并显著降低误报率。
|
| 关 键 词： | 故障效应分析 故障效应传播 形式化模型 逻辑门 |
A Formal Model for Precise Fault Effect Propagation |
| |
| Huang Xingli,Hu Wei,Mu Dejun,Guo Lantian,Li Zhe.A Formal Model for Precise Fault Effect Propagation[J].Journal of Northwestern Polytechnical University,2014(5):719-724. |
| |
| Authors: | Huang Xingli Hu Wei Mu Dejun Guo Lantian Li Zhe |
| |
| Affiliation: | Huang Xingli;Hu Wei;Mu Dejun;Guo Lantian;Li Zhe;Department of Automatic Control,Northwestern Polytechnical University;School of Business,Wenzhou University; |
| |
| Abstract: | |
| |
| Keywords: | fault effect analysis fault effect propagation formal model Boolean gate |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
