【摘 要】
：
本文介绍了可满足性的测试向量生成 (SAT- ATPG)算法。通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜索空间 ,加速测试生成 ,减轻故障压缩工作量
【机 构】
：
四川大学电气信息学院!成都610065,电子科技大学CAT室!成都610054
论文部分内容阅读
本文介绍了可满足性的测试向量生成 (SAT- ATPG)算法。通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜索空间 ,加速测试生成 ,减轻故障压缩工作量 ,又不损失最终测试集的精简
This article describes the Satisfiability Test Vector Generation (SAT-ATPG) algorithm. Embedding SAT-ATPG with Control Input Tracking Algorithm (CITA) reduces CNF composition time and search space, accelerates test generation, and reduces fault compression effort without losing the leanness of the final test set
其他文献
本文从双目视模型出发 ,利用射影几何学的有关理论推导出一种在该模型下空间点和空间直线的重建方法。与其他重建方法相比 ,本文提出的重建公式结构简单 ,计算速度快 ,有较高的实用价值
研究给出了分光光度法和X射线荧光法分析乏燃料后处理模拟工艺料液中锆的适用条件和分析步骤。对经TBP萃取过或从TBP中反萃制备的样品 ,用二甲酚橙或偶氮砷Ⅲ做显色剂的分光
分析了汽车运输公司的最优经营管理问题,应用分布参数控制理论和方法建立了运输问题最优控制的数学模型,并用算子半群理论和方法给出了最优控制问题的解,最后给出了最优控制
简要介绍了作为溶胶凝胶法制备固体催化材料的化学基础的金属离子水化学进展.
由共沉淀法合成了Cu/Al物质的量比分别为0.5、1和2的Cu-Al水滑石.以400℃焙烧,水滑石前体转化生成Cu-Al-O氧化物样品.XRD测定样品仅显示CuO物相,表明组成成分较均一.用CO和NH
研究了以Ca(NO3) 2 浸渍改性对γ Al2 O3 的高温热稳定性的影响。考察了Ca的添加量及高温 (12 73K、1373K)处理后的表面性质和稳定性。BET比表面积和XRD结果表明 ,高温下Ca物
对多股射流与圆柱管中的横流湍流混合的三维流场进行了数值模拟.结果显示,在有约束的横流中射流的发展可分成三个区.三维流场与二维流场有很大的区别,射流下游没有预测到回流
用化学还原法制得了高活性高选择性Ru-Zn-B/ZrO苯部分加氢催化剂体系.催化剂制备中活性组分前驱体RuCl宜在ZrO上吸附后再还原.催化剂的活性指数γ40和S分别为154.7﹪和85.5﹪,均
数值模拟了激光直接驱动铝飞片空腔靶模型.描述了激光直接驱动下,飞片的飞行状态和靶中冲击波的传播特性的物理图像;分析了不同参数对飞片状态和靶中冲击波特性的影响程度.模
合成了四种以Nsp2和Nsp3为配位原子的取代不对称多齿氮杂大环化合物，制备了它们与不同金属离子的配合物，通过元素分析和光谱表征，研究了配体的结构与其配位性能的关系.以吡啶环