论文部分内容阅读
本文介绍了可满足性的测试向量生成(SAT-ATPG)算法。通过控制输入跟踪算法(CITA)嵌入SAT-ATPG中，减少了CNF的构成时间和搜索空间，加速测试生成，减轻故障压缩工作量，又不损失最终测试集的精简。
数字电路测试生成的可满足性方法研究
【摘 要】
：
本文介绍了可满足性的测试向量生成(SAT-ATPG)算法。通过控制输入跟踪算法(CITA)嵌入SAT-ATPG中，减少了CNF的构成时间和搜索空间，加速测试生成，减轻故障压缩工作量，又不损失最终
【机 构】
：
四川大学电气信息学院,电子科技大学CAT室
【出 处】
：
仪器仪表学报
【发表日期】
：
2001年1期
其他文献
作为培养跨世纪中青年干部的一项重要举措，自治区党校干今年4月到7月初，举办了一期中青年干部理论研讨班。参加这期研讨班学习的学员中，既有自治区直属机关的处长、副处长，也有盟
本文提出了一种扭摆、谐振型隧穿式磁强计及其设计方法，它采用扭摆型线圈敏感被测磁场，结构易于加工且能够有效降低1／f噪声的影响。通过理论推导建立了扭摆和扭梁的力学模型，得出
<正> 磷肥是非结晶状态、微溶或不溶于水的肥料,可从四个方面来鉴定质量。颜色、形状:磷肥颜色为灰白色,一般呈现粉末状。若颜色洁白或黄色,说明生成过程中酸处理不完善或掺
<正> 青霉素是一种杀菌效果极佳的抗生素。在人用青霉素时,必须先进行过敏试验后方可使用。但在兽医界尚无作过敏试验的规定,在用青霉素给家畜治病时,人们往往不重视或根本不
一、充分认识思想政治工作在企业各项工作中的重要性从国际形势看，世界社会主义又正经历着曲折，处于暂时的低潮时期，西方敌对势力亡我之心不死，寻机加紧对我进行“西化”、“分化
<正> 红薯(亦称白薯、甘薯、地瓜、山芋、番薯)在我国广大农村普通栽培,是我国重要的秋季作物。传统医学认为红薯补虚乏、益气力、健脾胃、益肺肾,功同山药,久食益人,为长寿
提出根据手爪上的多个指力传感器的输出变化 ,通过数据融合方法得到腕力的数值。研制了标定腕力与手爪上指力之间关系的实验台 ,进行了标定实验。采用径向基函数神经元网络对实验数据进行训练 ,得到融合网络的权值。融合结果与实测结果相当吻合
从液态奶变质过程中粘度特性的变化出发,提出了用阻尼系数作为液态奶质量检验标准的新观点;通过检测包装物内液态奶的振荡特性,分析阻尼系数变化,进行质量判断,从而实现了不