数字电路测试生成的可满足性方法研究

【摘要】：本文介绍了可满足性的测试向量生成 (SAT- ATPG)算法。通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜索空间 ,加速测试生成 ,减轻故障压缩工作量 ,又不损失最终测试集的精简

下载App查看全文

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	申望;刘润琛;;数字电路冗余故障识别算法的研究与实现[J];机电信息;2011年18期
2	;[J];;年期
3	;[J];;年期
4	;[J];;年期
5	;[J];;年期
6	;[J];;年期
7	;[J];;年期
8	;[J];;年期
9	;[J];;年期
10	;[J];;年期
11	;[J];;年期
12	;[J];;年期
13	;[J];;年期
14	;[J];;年期
15	;[J];;年期
16	;[J];;年期
17	;[J];;年期
18	;[J];;年期
19	;[J];;年期
20	;[J];;年期

中国重要会议论文全文数据库

前10条

1	徐红兵;祝颖;王厚军;;组合电路测试生成的神经网络建模研究与实现[A];第三次全国会员代表大会暨学术会议论文集[C];2002年
2	李轩冕;胡勇;贺志容;;93000测试程序库设计[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
3	何新华;胡传兵;蒋建平;;时序电路状态测试与精简方法研究[A];首届信息获取与处理学术会议论文集[C];2003年
4	王健;许川佩;李智;;基于粒子群算法和蚂蚁算法的时序电路测试生成研究[A];第四届中国测试学术会议论文集[C];2006年
5	潘中良;;一种电路测试的最优神经网络与遗传进化方法[A];中国仪器仪表学会第三届青年学术会议论文集（上）[C];2001年
6	邝继顺;汪昱;魏小芬;;基于不确定门延迟的瞬态电流测试自动测试生成[A];第十届全国容错计算学术会议论文集[C];2003年
7	赵莹;吴丽华;马怀俭;;时序电路测试生成算法研究[A];第十八届中国（天津）’2004IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2004年
8	汪昱;邝继顺;;用于I_(DDT)测试的BIST测试向量生成器[A];第三届中国测试学术会议论文集[C];2004年
9	何新华;刘玉军;;数字电路冗余状态确认研究[A];第十届全国容错计算学术会议论文集[C];2003年
10	潘中良;;多值逻辑电路测试的敏化路径法研究[A];第二届全国信息获取与处理学术会议论文集[C];2004年

中国博士学位论文全文数据库

前10条

1	康波;混沌控制与混沌优化及其在组合电路测试生成中的应用研究[D];电子科技大学;2003年
2	杨修涛;集成电路寄存器传输级故障模型与测试生成研究[D];中国科学院研究生院（计算技术研究所）;2006年
3	刘蓬侠;并行ATPG算法理论与原型系统设计技术研究[D];国防科学技术大学;2002年
4	侯艳丽;数字集成电路测试生成算法研究[D];哈尔滨工程大学;2008年
5	李智;基于蚂蚁算法的时序电路测试生成研究[D];电子科技大学;2003年
6	刘歆;数字电路的故障测试模式生成方法研究[D];华中科技大学;2004年
7	郑飞君;基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究[D];浙江大学;2008年
8	尹志刚;集成电路寄存器传输级测试生成[D];中国科学院研究生院（计算技术研究所）;2003年
9	姚志江;异步时序电路测试生成研究[D];中国科学院研究生院（计算技术研究所）;2001年
10	尚玉玲;高速互连串扰型故障测试研究[D];西安电子科技大学;2009年

中国硕士学位论文全文数据库

前10条

1	张兰;基于电流的集成电路故障诊断研究[D];电子科技大学;2004年
2	王志超;基于IP核测试的测试生成研究与仿真设计[D];哈尔滨理工大学;2010年
3	刘铁桥;受控线性移位测试生成方法研究[D];湖南大学;2010年
4	齐丽彬;电子功能模件边界扫描测试技术研究[D];哈尔滨理工大学;2008年
5	侯艳丽;基于粒子群算法的数字集成电路测试生成研究[D];哈尔滨工程大学;2006年
6	欧阳雄;一种由被测电路自己施加测试矢量的BIST方法研究[D];湖南大学;2008年
7	钟汝刚;基于遗传算法的测试生成在FPGA上的研究与实现[D];湖南大学;2009年
8	王宇;基于蚁群算法和粒子群算法的数字集成电路测试生成研究[D];哈尔滨工程大学;2008年
9	李蕙;数字电路桥接故障的测试与诊断[D];浙江大学;2010年
10	刘新会;BDD在组合电路测试中的应用研究[D];哈尔滨工程大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南