原文服务方: 现代电子技术       
摘要:
错误诊断是在逻辑芯片中预测潜在错误点的过程.为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断.可疑度越高的区域,其作为错误候选者的可能性越大.该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的.
推荐文章
组合电路中逻辑错误诊断方法研究
诊断
路径追踪
模拟
可满足性
结合逻辑模拟和布尔可满足性的设计错误诊断方法
设计验证
错误诊断
布尔可满足性
逻辑模拟
一种改进的基于SAT的多错误诊断算法
设计错误诊断
布尔可满足性
电子设计自动化
基于有限状态机的被动测试错误诊断
被动测试
错误诊断
错误区分
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于符号模拟的电路中错误诊断方法研究
来源期刊 现代电子技术 学科
关键词 区域模型 符号模拟 错误诊断 测量标准
年,卷(期) 2009,(16) 所属期刊栏目 设计验证与测试
研究方向 页码范围 1-3,7
页数 4页 分类号 TP306
字数 语种 中文
DOI 10.3969/j.issn.1004-373X.2009.16.001
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 齐芳 9 4 1.0 2.0
2 吴尽昭 中国科学院成都计算机应用研究所 23 81 4.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (12)
共引文献  (3)
参考文献  (6)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1986(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(6)
  • 参考文献(2)
  • 二级参考文献(4)
2007(2)
  • 参考文献(2)
  • 二级参考文献(0)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
区域模型
符号模拟
错误诊断
测量标准
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
总被引数(次)
135074
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导