基于遗传算法和覆盖率驱动的功能验证向量自动生成算法 被引量：15

1

作者 罗春 杨军 凌明 《应用科学学报》 CAS CSCD 北大核心 2005年第4期375-379,共5页

提出了一种基于遗传算法和覆盖率驱动的RTL(registertransferlevel)代码功能验证向量自动生成算法.其特点是自动反馈覆盖率信息,构成一个闭环系统;用遗传算法动态分析覆盖率信息,自动生成针对性更强的验证向量.在SoC(syetemonchip)的模... 提出了一种基于遗传算法和覆盖率驱动的RTL(registertransferlevel)代码功能验证向量自动生成算法.其特点是自动反馈覆盖率信息,构成一个闭环系统;用遗传算法动态分析覆盖率信息,自动生成针对性更强的验证向量.在SoC(syetemonchip)的模块验证中采用了该方法来自动生成验证向量;与受限随机生成方法相比,能快速达到覆盖率目标,缩短验证周期. 展开更多

关键词 功能验证 向量自动生成 遗传算法

在线阅读 下载PDF 职称材料

基于探索式分区和测试向量生成的硬件木马检测方法 被引量：6

2

作者 薛明富 胡爱群 王箭 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1132-1138,共7页

本文提出基于分区和最优测试向量生成的硬件木马检测方法.首先,采用基于扫描细胞分布的分区算法将电路划分为多个区域.然后,提出测试向量重组算法,对各区域依据其自身结构生成近似最优的测试向量.最后,进行分区激活和功耗分析以检测木马... 本文提出基于分区和最优测试向量生成的硬件木马检测方法.首先,采用基于扫描细胞分布的分区算法将电路划分为多个区域.然后,提出测试向量重组算法,对各区域依据其自身结构生成近似最优的测试向量.最后,进行分区激活和功耗分析以检测木马,并采用信号校正技术消减制造变异和噪声的影响.优点是成倍提高了检测精度,克服了制造变异的影响,解决了面对大电路的扩展性问题,并可以定位木马.在基准电路上的验证实验表明检测性能有较大的提升. 展开更多

关键词 硬件安全 硬件木马检测 探索式分区 最优测试向量生成

在线阅读 下载PDF 职称材料

基于向量通用生成函数的多性能参数多态系统可靠性分析 被引量：20

3

作者 李春洋 陈循 +1 位作者 易晓山 陶俊勇 《兵工学报》 EI CAS CSCD 北大核心 2010年第12期1604-1610,共7页

通用生成函数在多态系统可靠性分析中发挥着重要作用,但变量通用生成函数不能分析多性能参数多态系统。针对具有多种性能参数的多态系统可靠性分析的需要,提出了向量通用生成函数的定义和对应的运算符。根据多态串-并联系统的结构特点,... 通用生成函数在多态系统可靠性分析中发挥着重要作用,但变量通用生成函数不能分析多性能参数多态系统。针对具有多种性能参数的多态系统可靠性分析的需要,提出了向量通用生成函数的定义和对应的运算符。根据多态串-并联系统的结构特点,提出了利用向量通用生成函数估算系统可靠度的步骤。最后利用算例进行了验证,并且与传统可靠性分析方法和Monte Carlo仿真方法所得到的结果进行了对比分析。算例的结果显示,向量通用生成函数能够准确快速地估算多性能参数多态系统可靠度,在多态系统可靠性分析和优化中具有应用前景。 展开更多

关键词 系统工程 向量通用生成函数 多态系统 多性能参数 可靠性分析 MONTE Carlo仿真

在线阅读 下载PDF 职称材料

基于独立分量分析的运动目标检测算法中对通道数选择和观测向量生成方式的实验和分析 被引量：3

4

作者 张超 吴小培 吕钊 《电子与信息学报》 EI CSCD 北大核心 2015年第1期137-142,共6页

现有基于独立分量分析(ICA)的运动目标检测算法大多采用单一的观测向量生成方式和2通道数据进行检测,使得现有算法难以获得更加完整精确的目标形态。该文在传统独立分量分析算法的基础上引入4种不同的观测向量生成方式并使用更多通道数... 现有基于独立分量分析(ICA)的运动目标检测算法大多采用单一的观测向量生成方式和2通道数据进行检测,使得现有算法难以获得更加完整精确的目标形态。该文在传统独立分量分析算法的基础上引入4种不同的观测向量生成方式并使用更多通道数据进行实验,以此更广泛地涵盖运动目标的运动特性并为提取前景提供更多有效信息,使该算法能有效应对缓慢移动和低区分性目标。多场景下的量化实验分析表明,更多通道数据的使用以及4种观测向量生成方式的综合在合理的误检率代价下使算法达到了更高的检测正确率。 展开更多

关键词 运动目标检测 计算机视觉 独立分量分析 通道数选择 观测向量生成

在线阅读 下载PDF 职称材料

无回溯并行多路径搜索测试向量生成算法 被引量：3

5

作者 黄越 于宗光 万书芹 《计算机应用》 CSCD 北大核心 2010年第5期1390-1393,共4页

无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明... 无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明算法时间复杂度近似为线性。算法对ISCAS85基准电路中规模最大的8个电路进行实验,将实验结果与传统算法进行比较,结果表明NBMP算法故障覆盖率优于传统算法。 展开更多

关键词 数字电路 基准电路 测试向量生成 故障覆盖率 多路径

在线阅读 下载PDF 职称材料

覆盖状态内部分枝的测试向量生成 被引量：1

6

作者 杨修涛 鲁巍 +1 位作者 李华伟 李晓维 《小型微型计算机系统》 CSCD 北大核心 2006年第4期745-748,共4页

提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分枝.为了准确描述... 提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分枝.为了准确描述该过程,文中给出了分枝扩展的形式化方法.在此基础上,给出一个测试向量生成算法:遍历状态转换有向图;依状态间转换条件生成测试向量;依遍历顺序收集测试向量.通过对ITC99-benchmark中时序电路的试验表明,本文方法是有效的. 展开更多

关键词 状态覆盖 分枝覆盖 测试向量生成

在线阅读 下载PDF 职称材料

扫描链故障确定性诊断向量生成算法 被引量：2

7

作者 王飞 胡瑜 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第1期6-12,共7页

扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首... 扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首先建立了诊断扫描链故障的电路模型,利用该模型可以采用现有固定型故障测试生成工具产生扫描链诊断向量;然后提出一种故障响应分析方法,以有效地降低候选故障对的数量,从而在保障诊断质量的前提下减少诊断向量数目,缩短了诊断过程的时间.实验结果表明,在测试诊断精确度、故障分辨率和向量生成时间方面,该算法均优于已有的扫描链诊断向量生成方法. 展开更多

关键词 大规模集成电路测试 扫描链 故障诊断 向量生成

在线阅读 下载PDF 职称材料

基于多扫描链的内建自测试技术中的测试向量生成 被引量：1

8

作者 李兆麟 叶以正 毛志刚 《计算机学报》 EI CSCD 北大核心 2001年第4期411-419,共9页

针对基于多扫描链的内建自测试技术 ,提出了一种测试向量生成方法 .该方法用一个线性反馈移位寄存器 (L FSR)作为伪随机测试向量生成器 ,同时给所有扫描链输入测试向量 ,并通过构造具有最小相关度的多扫描链来克服扫描链间的相关性对故... 针对基于多扫描链的内建自测试技术 ,提出了一种测试向量生成方法 .该方法用一个线性反馈移位寄存器 (L FSR)作为伪随机测试向量生成器 ,同时给所有扫描链输入测试向量 ,并通过构造具有最小相关度的多扫描链来克服扫描链间的相关性对故障覆盖率的影响 .此外该方法经过模拟确定难测故障集 ,并针对这个难测故障集利用 ATPG生成最小确定性测试向量集 .最后再依据得到的最小测试向量集来设计位改变逻辑电路 ,利用位改变逻辑电路控制改变扫描链上特定位的值来实现对难测故障的检测 ,从而实现被测电路的故障完全检测 . 展开更多

关键词 内建自测试 多扫描链 逻辑电路 测试向量生成

在线阅读 下载PDF 职称材料

测试向量生成的新搜索算法 被引量：2

9

作者 曾成碧 陈光 《系统工程与电子技术》 EI CSCD 2000年第6期73-76,共4页

描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电... 描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电路的仿真结果表明 ,满足性算法健全、有效 ,而且电路增大 。 展开更多

关键词 故障诊断 测试向量生成算法 搜索算法

在线阅读 下载PDF 职称材料

改进可满足性的测试向量生成算法

10

作者 曾成碧 陈光 《四川大学学报（工程科学版）》 EI CAS CSCD 2000年第3期54-57,共4页

描述了可满足性的测试向量生成 (SAT ATPG)算法 ,针对此算法的不足 ,提出反向路径敏化算法 (BPS)嵌入SAT ATPG中 ,减少了CNF的构成时间和搜索空间 ,而且减轻故障压缩的工作量 。

关键词 搜索算法 可满足性 测试向量生成算法 集成电路

在线阅读 下载PDF 职称材料

加速可满足的测试向量生成算法

11

作者 曾成碧 陈光褕 《实用测试技术》 CAS 2000年第2期1-4,共4页

本文描述了可满足的测试向量生成 (ATPG)算法 ,对可满足的测试向量生成算法的不足 ,提出改进的全局蕴涵及唯一确定值的计算 ,来简化搜索空间、降低搜索量、加速测试生成。

关键词 搜索算法 测试向量生成算法 数字电路

在线阅读 下载PDF 职称材料

基于K近邻的数字电路自动测试向量生成方法 被引量：2

12

作者 李文星 王天成 李华伟 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第11期1802-1810,共9页

基于分支限界搜索的自动测试向量生成(ATPG)是数字电路测试中的关键技术,搜索中的回溯次数对ATPG性能造成很大影响.为了减少ATPG回溯次数,提出一种基于K近邻(KNN)的数字电路ATPG方法.将机器学习中的KNN算法引入POEDM测试生成算法,KNN结... 基于分支限界搜索的自动测试向量生成(ATPG)是数字电路测试中的关键技术,搜索中的回溯次数对ATPG性能造成很大影响.为了减少ATPG回溯次数,提出一种基于K近邻(KNN)的数字电路ATPG方法.将机器学习中的KNN算法引入POEDM测试生成算法,KNN结合电路结构数据和可测试性度量信息来指导PODEM算法中回退路径的选择,替代传统的启发式策略,以尽快地到达有效决策点,减少回溯次数.在ISCAS85,ISCAS89和ITC99基准电路上进行验证,与传统启发式策略以及一种基于人工神经网络(ANN)的回退路径选择策略相比,所提方法在回溯次数、回退次数、运行时间和故障覆盖率指标方面分别实现了最高1625.0%,466.0%,260.0%和2.2%的改进.同时,相比基于ANN的方法,KNN没有显式的训练过程,在搭建模型阶段能够节省一定的显存资源开销,并且可以使用更少的训练集样本得到有效的预测模型. 展开更多

关键词 数字电路测试 自动测试向量生成 K近邻 分支限界搜索 回溯次数

在线阅读 下载PDF 职称材料

用于I_(DDT)测试的BIST测试向量生成器 被引量：2

13

作者 汪昱 邝继顺 《计算机工程与科学》 CSCD 2005年第4期29-30,59,共3页

检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大降低测试开销。本文采用一种具有规则性、模块化和层叠结构的自动控制单元(CA),来构造产生测试向量对的 BIST模块。实验证明,该方法... 检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大降低测试开销。本文采用一种具有规则性、模块化和层叠结构的自动控制单元(CA),来构造产生测试向量对的 BIST模块。实验证明,该方法用于瞬态电流测试是有效的。 展开更多

关键词 CMOS电路 k测试 内建自测试 BIST模块 测试向量生成器

在线阅读 下载PDF 职称材料

集成电路测试原理和向量生成方法分析 被引量：14

14

作者 宋尚升 《现代电子技术》 2014年第6期122-124,128,共4页

测试向量生成是集成电路测试的一个重要环节。在此从集成电路基本测试原理出发,介绍了一种ATE测试向量生成方法。通过建立器件模型和测试平台,在仿真验证后,按照ATE向量格式,直接生成ATE向量。以一种实际的双向总线驱动电路74ALVC16424... 测试向量生成是集成电路测试的一个重要环节。在此从集成电路基本测试原理出发,介绍了一种ATE测试向量生成方法。通过建立器件模型和测试平台,在仿真验证后,按照ATE向量格式,直接生成ATE向量。以一种实际的双向总线驱动电路74ALVC164245为例,验证了此方法的可行性,并最终得到所需的向量文本。该方法具有较好的实用性,对进一步研究测试向量生成,也有一定的参考意义。 展开更多

关键词 集成电路测试 自动测试设备 测试向量 向量生成

在线阅读 下载PDF 职称材料

用于I_(DDT)测试的BIST测试向量生成器

15

作者 邓小飞 邝继顺 《科学技术与工程》 2006年第1期60-63,共4页

检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大地降低测试开销。设计一种用于IDDT测试的BIST测试向量生成器,它随机产生跳变数为1～2的测试向量对。实验证明,它能以较少的测试向量... 检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大地降低测试开销。设计一种用于IDDT测试的BIST测试向量生成器,它随机产生跳变数为1～2的测试向量对。实验证明,它能以较少的测试向量对检测出比较多的故障。 展开更多

关键词 IDDT BIST 测试向量生成器

在线阅读 下载PDF 职称材料

一种引导测试向量自动生成广义折叠集的方法 被引量：1

16

作者 詹文法 程一飞 +1 位作者 吴海峰 江健生 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第2期265-269,共5页

针对芯片测试过程中自动测试设备需要向被测芯片传输大量测试数据的问题,提出了一种引导测试向量自动生成广义折叠集的方法.该方法根据信号值计算对应的原始输入,在测试生成中嵌入广义折叠技术,确保按广义折叠规律生成广义折叠集,将原... 针对芯片测试过程中自动测试设备需要向被测芯片传输大量测试数据的问题,提出了一种引导测试向量自动生成广义折叠集的方法.该方法根据信号值计算对应的原始输入,在测试生成中嵌入广义折叠技术,确保按广义折叠规律生成广义折叠集,将原始测试数据的直接存储转换成对广义折叠集种子和折叠距离的间接存储.硬故障测试集实验结果显示,在同等实验环境下,所提方法的压缩率相对于传统的广义折叠技术平均提高了1.17%.Mintest故障集实验结果显示,相对于国际上通用的Golomb码、FDR码、VIHC码和EFDR码,所提方法的压缩率分别提高了22.45%,17.01%,14.40%和11.91%. 展开更多

关键词 广义折叠集 折叠集 测试数据压缩 自动测试向量生成

在线阅读 下载PDF 职称材料

基于极小碰集求解算法的测试向量集约简 被引量：3

17

作者 欧阳丹彤 陈晓艳 +2 位作者 叶靖 邓召勇 张立明 《计算机研究与发展》 EI CSCD 北大核心 2019年第11期2448-2457,共10页

自动测试向量生成的目的是对特定的故障模型确定1个高质量测试向量集使得芯片(设计)的故障覆盖率达到期望值,在芯片测试中是非常重要的环节.TetraMAX ATPG 2018是众多ATPG工具中功能最强、最易于使用的自动测试向量生成工具,可以在很短... 自动测试向量生成的目的是对特定的故障模型确定1个高质量测试向量集使得芯片(设计)的故障覆盖率达到期望值,在芯片测试中是非常重要的环节.TetraMAX ATPG 2018是众多ATPG工具中功能最强、最易于使用的自动测试向量生成工具,可以在很短的时间内生成具有高故障覆盖率的高质量测试向量集.提出基于极小碰集求解算法的极小完全测试向量集求解算法,通过对测试向量集约简问题重新建模,利用极小碰集求解算法对TetraMAX ATPG 2018产生的测试向量集进行约简.利用这一算法可以有效地缩减测试向量集规模,且保证其故障覆盖率不变,对降低芯片的测试成本有着重要的现实意义.实验针对固定型故障,结果表明:该算法具有良好的约简效果,而且可以保证所得测试向量集中不包含冗余的测试向量. 展开更多

关键词 电路测试 自动测试向量生成 测试向量集 约简 故障覆盖率 极小碰集 固定型故障

在线阅读 下载PDF 职称材料

时序电路状态覆盖向量的遗传方法筛选 被引量：1

18

作者 杨修涛 鲁巍 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第2期251-256,共6页

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动... 传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较· 展开更多

关键词 静态状态转换 动态状态转换 遗传算法 测试向量生成

在线阅读 下载PDF 职称材料

基于最小集合覆盖求解方法的测试向量集约简 被引量：1

19

作者 欧阳丹彤 郭江姗 张立明 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2020年第12期61-68,共8页

TetraMAX ATPG作为业界性能较优的自动测试向量生成工具,能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模,提出了基于最小集合覆盖求解方法的最小完备测试集生成方法,利用这一算法... TetraMAX ATPG作为业界性能较优的自动测试向量生成工具,能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模,提出了基于最小集合覆盖求解方法的最小完备测试集生成方法,利用这一算法可以在保证测试向量集故障覆盖率不变的基础上有效地缩减测试集规模,从而降低电路测试成本.实验结果表明该方法对于固定故障类型和静态电路故障类型均具有良好的约简效果. 展开更多

关键词 自动测试向量生成 测试向量集约简 最小集合覆盖 局部搜索 故障类型

在线阅读 下载PDF 职称材料

基于BDD和布尔差分的组合电路测试生成方法

20

作者 欧阳一鸣 牟屹 梁华国 《计算机应用研究》 CSCD 北大核心 2008年第5期1450-1452,1523,共4页

引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际。实验表明,本方案可以有效地进行测试生成。

关键词 二元决策图 布尔差分 自动测试向量生成

在线阅读 下载PDF 职称材料