基于符号模拟的电路中错误诊断方法研究  

Research of Error Diagnosis Method Based on Symbolic Simulation in Circuits

作　　者：齐芳 吴尽昭[2] 

机构地区：[1]河南省计量科学研究院,河南郑州450008 [2]中国科学院成都计算机应用研究所,四川成都610041

出　　处：《现代电子技术》2009年第16期1-3,7,共4页Modern Electronics Technique

基　　金：国家自然科学基金资助项目(60373113);国家973计划资助项目(2004CB318000)

摘　　要：错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断。可疑度越高的区域,其作为错误候选者的可能性越大。该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的。Error diagnosis is a process to detect potential error spots in the logical IC. In order to diagnose errors fast and effectively,a new idea which uses symbolic simulation to error diagnosis method based on region model is proposed. The method is first to divide diagnosed circuit to regions, then it uses symbolic simulation and two kinds of measure criterion to rank each region＇s suspicion degree. A region with a larger suspicion degree is regarded as a more suspicion fault candidate. Because of using symbolic simulation,the method needn＇t enumerate explicitly to vector space, so it＇s effective about the space and running time.

关 键 词：区域模型 符号模拟 错误诊断 测量标准 

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