组合电路中逻辑错误诊断方法研究  

Research of logic error diagnosis in combinational circuits

作　　者：齐芳[1] 吴尽昭[1] 闫炜[2] 徐德启[1] 

机构地区：[1]兰州大学信息科学与工程学院,兰州730000 [2]中国科学院成都计算机应用研究所,成都610041

出　　处：《计算机应用研究》2008年第1期114-116,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60373113);国家“973”计划资助项目(2004CB-318000)

摘　　要：介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果。This paper introduced some error diagnosis methods occurred in these years. These methods enhanced the traditional methods by using some heuristics, and achieved the better diagnostic results.

关 键 词：诊断 路径追踪 模拟 可满足性 

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