首页> 中文期刊>计算机应用研究 >基于BDD和布尔差分的组合电路测试生成方法

基于BDD和布尔差分的组合电路测试生成方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量.本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际.实验表明,本方案可以有效地进行测试生成.

著录项

来源
《计算机应用研究》|2008年第5期|1450-14521523|共4页
作者
欧阳一鸣; 牟屹; 梁华国;
展开▼
作者单位

合肥工业大学,计算机与信息学院,合肥,230009;

合肥工业大学,计算机与信息学院,合肥,230009;

合肥工业大学,计算机与信息学院,合肥,230009;

展开▼
原文格式 PDF
正文语种 chi
中图分类基本电路;
关键词
二元决策图; 布尔差分; 自动测试向量生成;
入库时间 2022-08-18 05:09:19

相似文献

中文文献
外文文献
专利

1. 一阶布尔差分在组合逻辑电路测试生成中的应用 [J] . 欧阳一鸣 ,杜晓荣 ,梁兴琦 . 微电子学与计算机 . 1999,第1期
2. 基于布尔差分的数字电路路径时滞故障测试生成算法 [J] . 赵莹 ,丁晶晶 ,蔡永强 . 煤矿机械 . 2008,第4期
3. 基于BDD的组合电路等价性检验方法 [J] . 李光辉 ,邵明 ,李晓维 . 微电子学与计算机 . 2003,第2期
4. 基于布尔偏导数的组合电路双故障检测的新方法 [J] . 余党军 ,陈偕雄 . 浙江大学学报（理学版） . 2003,第005期
5. 组合电路测试生成的一种新方法 [J] . 赵春晖 ,侯艳丽 ,廖艳苹 . 弹箭与制导学报 . 2006,第002期
6. 基于BDD的组合电路等价性检验方法 [C] . 李光辉 ,邵明 ,李晓维 . 第二届中国测试学术会议 . 2002
7. 基于概率分布估计算法的组合电路测试生成方法研究 [A] . 赵中煜 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号