基于SAT的组合电路自动测试向量生成

来源 :微电子学 | 被引量 : 0次 | 上传用户:lvy1234
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实现了基于可满足性(SAT)求解的方法,以解决固定型和时延故障的自动测试向量生成问题。详细讨论了如何利用电路的拓扑结构以及从ATPG到合取范式(CNF)的编码方法。CNF被输入到一个高效的SAT求解器zchaff中求解。在ISCAS85测试实例中验证了该算法的有效性。 The method based on satisfiability (SAT) is implemented to solve the problem of automatic test vector generation for fixed and delay faults. Discussed in detail how to use the topology of the circuit and the encoding method from ATPG to the occlusion pattern (CNF). CNF is solved in zchaff, an efficient SAT solver. The validity of this algorithm is verified in the ISCAS85 test case.
其他文献
在我们大力倡导素质教育的同时,会不会顾此失彼,丢失最为宝贵的东西呢?点睛教师的一番话是否会起到画龙点睛的作用?
政府购买服务作为一种创新公共服务提供方式的重要手段,成为近一段时期的社会热点。经过几年的发展,政府购买服务在整合社会资源、提升服务效能、激发社会活力方面起到一定的
俯瞰宜兴城,东氿、团氿、西氿像三颗晶莹剔透的明珠,由大溪河串联着,在得天独厚的生态优势面前,宜兴的发展也走出了一条环境优化增长、生态倒逼转型的科学发展新路径
随着经济的不断发展和社会的不断进步,在企业的发展过程中,成本核算已经成为其进步的关键。成本核算能够在优化企业内部结构的同时帮助企业管理人员制定相关经济制度、完成相
以质量优秀而闻名全球的韩国高丽参品牌“正官庄”日前宣布,已邀请到韩国当红影视女星李英爱出任其品牌代言人。优质的人参产品,能够协助人体维持系统的均衡。李英爱形象健康、
本文以能值理论为基础,对黄河上游生态环境重要区域——甘南州的农业生态经济系统的能值投入、产出状况进行定量分析,并把分析结果和其他地区进行比较。结果表明,甘南州本地资源
团头鲂也称武昌鱼,在北方高寒地区也称"鳊花",它肉质细嫩、味道鲜美、营养丰富,是深受广大消费者欢迎的名优鱼类.团头鲂也是北方高寒地区重点发展的大宗优质鱼类,近年来养殖
目的:应用蟾蜍坐骨神经腓肠肌标本,观察肌内注射质粒DNA后不同时间对肌肉收缩功能的影响。方法:重组DNA制备pcDNA3/ANP。分别将任氏液、pcDNA3/ANP及载体pcDNA3注入对照组、p
日前,FOODINVEST CORPORATE宣布携手北京芬帝食品有限公司,由后者作为其代理商,双方共同在中国开拓饼干原料市场。
本文简析了农业高新技术产业化的内涵,以及我国农业高技术产业化现状及存在的问题,并就推动农业高技术产业化发展提出了政策建议。