检索结果-维普期刊中文期刊服务平台

改进可满足性的测试向量生成算法: 1; 作者曾成碧陈光 《四川大学学报（工程科学版）》 EI CAS CSCD 2000年第3期54-57,共4页; 描述了可满足性的测试向量生成 (SAT ATPG)算法 ,针对此算法的不足 ,提出反向路径敏化算法 (BPS)嵌入SAT ATPG中 ,减少了CNF的构成时间和搜索空间 ,而且减轻故障压缩的工作量。; 关键词搜索算法可满足性测试向量生成算法集成电路; 在线阅读下载PDF 职称材料

加速可满足的测试向量生成算法: 2; 作者曾成碧陈光褕《实用测试技术》 CAS 2000年第2期1-4,共4页; 本文描述了可满足的测试向量生成 (ATPG)算法 ,对可满足的测试向量生成算法的不足 ,提出改进的全局蕴涵及唯一确定值的计算 ,来简化搜索空间、降低搜索量、加速测试生成。; 关键词搜索算法测试向量生成算法数字电路; 在线阅读下载PDF 职称材料

测试向量生成的新搜索算法被引量：2: 3; 作者曾成碧陈光 《系统工程与电子技术》 EI CSCD 2000年第6期73-76,共4页; 描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电... 展开更多; 关键词故障诊断测试向量生成算法搜索算法; 在线阅读下载PDF 职称材料