| 面向最大串扰噪声的测试生成方法 |
| |
| 引用本文： | 张旻晋,李华伟,李晓维.面向最大串扰噪声的测试生成方法[J].计算机辅助设计与图形学学报,2009,21(4). |
| |
| 作者姓名： | 张旻晋 李华伟 李晓维 |
| |
| 作者单位： | 1. 中国科学院计算机系统结构重点实验室,北京,100190;中国科学院计算技术研究所,北京,100190;中国科学院研究生院,北京,100049
2. 中国科学院计算机系统结构重点实验室,北京,100190;中国科学院计算技术研究所,北京,100190 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点基础研究发展规划(973计划) |
| |
| 摘 要： | 随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.
|
| 关 键 词： | 串扰 集成电路测试 测试生成 最大可满足问题 |
Test Generation for Maximal Crosstalk Effect |
| |
| Zhang Minjin,Li Huawei,Li Xiaowei.Test Generation for Maximal Crosstalk Effect[J].Journal of Computer-Aided Design & Computer Graphics,2009,21(4). |
| |
| Authors: | Zhang Minjin Li Huawei Li Xiaowei |
| |
| Affiliation: | Key Laboratory of Computer System and Architecture;Chinese Academy of Sciences;Beijing 100190;Institute of Computing Technology;Beijing 100190;Graduate University of Chinese Academy of Sciences;Beijing 100049 |
| |
| Abstract: | As the feature size continues to scale into the nanometer era,crosstalk-induced effect begins to exert a more significant influence and might cause a failure. We proposed a novel test generation method based on multiple crosstalk-induced glitch fault model (MCGF). This method can model the fault and generate proper patterns. In order to find the test activating aggressors as many as possible,we first map the objective of test generation into a weighted Max-SAT problem,and then solve it by using SAT solver t... |
| |
| Keywords: | crosstalk IC test test generation Max-SAT |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
