集成电路高层故障模型评估方法  

Approach to Evaluate the High-level Fault Models

作　　者：杨修涛[1] 鲁巍[1] 李晓维[1] 

机构地区：[1]中国科学院计算技术研究所

出　　处：《计算机工程》2006年第4期228-229,232,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(90207002;60242001);中科院计算所基础研究基金资助项目(20036160)

摘　　要：给出了利用测试向量进行评估的基本理论方法,以及强对应集和弱对应集的定义及推论。按该方法,依不同模型生成测试向量,然后进行相互间的覆盖计算,以比较模型的优劣。最后对ITC99-benchmark电路进行实验,结果表明该方法是有效的。This article presents the theory and method to evaluate the high level fault models by test patterns. The strong corresponding set and weak corresponding set are defined. The deduction is also presented. According to this method, test patterns are generated and then applied to different fault models. The result shows fault model is more effective. The experiment conducted on the benchmark of ITC99 reveals that the method is effective.

关 键 词：模型评估 强对应集 弱对应集 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]