组合电路

作品数：239被引量：260H指数：8
导出分析报告
相关领域：电子电信更多>>
相关作者：李晓维李光辉郭阳刘必慰陈偕雄更多>>
相关机构：中国科学院松下电器产业株式会社电子科技大学浙江大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家重点基础研究发展计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带黑盒组合电路的等价性验证
《微计算机信息》2008年第26期258-260,共3页王瑞 岳园 张自强 
"973"项目(2004CB318000)"数学机械方法及其在信息技术中的应用"的资助。
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性...
关键词：等价性验证 黑盒 逻辑锥 可满足性验证 
组合电路中逻辑错误诊断方法研究被引量：1
《计算机应用研究》2008年第1期114-116,共3页齐芳 吴尽昭 闫炜 徐德启 
国家自然科学基金资助项目(60373113);国家“973”计划资助项目(2004CB-318000)
介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果。
关键词：诊断 路径追踪 模拟 可满足性 
组合电路等价性检验方法研究
《计算机工程》2007年第4期253-255,共3页曾琼 闫炜 
国家自然科学基金资助项目(60373113);国家"973"计划基金资助项目(2004CB318000)
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
关键词：等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生 
利用FAN算法进行组合电路的等价性检验
《计算机应用研究》2006年第12期25-27,共3页曾琼 
国家"973"计划资助项目(2004CB318003);国家自然科学基金资助项目(60373113)
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
关键词：等价性检验 ATPG D-算法 PODEM算法 FAN算法 
基于递归学习的组合电路等价性检验方法研究
《成都信息工程学院学报》2006年第4期484-487,共4页曾琼 
国家973计划资助项目(2004CB318003)
等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法;并讨论了基于递归学习的组合电路等价性检验方法;算法利用直接蕴含和间接蕴含的方法,解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。
关键词：递归学习 等价性检验 组合电路 
基于组合解压缩电路的多扫描链测试方法被引量：1
《计算机研究与发展》2006年第6期1001-1007,共7页董婕 胡瑜 韩银和 李晓维 
国家"九七三"重点基础研究发展规划基金项目(2005CB321604);国家自然科学基金项目(90207002);北京市重点科技项目(H020120120130);中国科学院计算技术研究所创新课题(20056330)~~
提出一种采用组合电路实现解压缩电路的压缩方法,只需少量的输入管脚,可以驱动大量的内部扫描链·该方法利用确定性测试向量中存在的大量的不确定位(X位),采用对测试向量进行切片划分和兼容赋值的思想,通过分析扫描切片之间的兼容关系...
关键词：扫描设计 测试数据量 解压缩电路 组合电路 兼容 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部