作者:
原文服务方: 计算机应用研究       
摘要:
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术.利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性.
推荐文章
基于BDD的组合电路等价性检验方法
形式验证
等价性检验
符号模拟
二叉判决图
组合电路
带黑盒组合电路的等价性验证
等价性验证
黑盒
逻辑锥
可满足性验证
组合电路等价性检验方法研究
等价性检验
组合电路
二叉判定图
布尔可满足
自动测试向量产生
用AIG推理检验组合电路的等价性
组合电路
等价性检验
电路推理
与非图
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 利用FAN算法进行组合电路的等价性检验
来源期刊 计算机应用研究 学科
关键词 等价性检验 ATPG D-算法 PODEM算法 FAN算法
年,卷(期) 2006,(12) 所属期刊栏目 研究探讨
研究方向 页码范围 25-27
页数 3页 分类号 TP301
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2006.12.008
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 曾琼 中国科学院成都计算机应用研究所 7 7 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (3)
参考文献  (7)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1966(1)
  • 参考文献(1)
  • 二级参考文献(0)
1981(1)
  • 参考文献(1)
  • 二级参考文献(0)
1983(1)
  • 参考文献(1)
  • 二级参考文献(0)
1990(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(2)
  • 参考文献(1)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
等价性检验
ATPG
D-算法
PODEM算法
FAN算法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
论文1v1指导