检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 2006年第9期18卷 1391-1396页

作者：李佳胡瑜李晓维王伟中国科学院计算技术研究所先进测试技术实验室

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降... 详细信息

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降低93.8%,而面积开销可以忽略不计.

关键词：可测试性设计动态功耗扫描链

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机辅助设计与图形学学报 2006年第2期18卷 251-256页

作者：杨修涛鲁巍李晓维中国科学院计算技术研究所先进测试技术实验室

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

数据流相关软件故障的静态检测

引用

计算机辅助设计与图形学学报 2005年第11期17卷 2477-2483页

作者：张广梅李晓维中国科学院计算技术研究所先进测试技术实验室

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量... 详细信息

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

关键词：数据流相关的软件故障数据流分析引用-定值链故障检测

来源：评论

学校读者我要写书评

暂无评论

应用向量划分的低功耗确定性BIST方法

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2690-2695页

作者：李吉韩银和李晓维中国科学院计算技术研究所先进测试技术实验室

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,... 详细信息

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,采用文中方法能够减少80%左右的跳变,而只需要原始Mintest测试集25%左右的测试数据存储.

关键词：确定性BIST LFSR重播种低功耗测试向量划分

来源：评论

学校读者我要写书评

暂无评论

RTL和门级结合的处理器时延测试产生方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 75-81页

作者：方红霞李华伟李晓维中国科学院计算技术研究所先进测试技术实验室

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和... 详细信息

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和数据约束,在门级进行有约束的非强健时延测试产生.最后的测试指令由控制指令(序列)+潜在测试指令(序列)+观测指令(序列)构成.

关键词：时延测试指令集处理器数据通路

来源：评论

学校读者我要写书评

暂无评论

RTL可观测性语句覆盖评估方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 62-68页

作者：鲁巍吕涛杨修涛李晓维中国科学院计算技术研究所先进测试技术实验室

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他... 详细信息

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.

关键词：可观测性覆盖准则模拟

来源：评论

学校读者我要写书评

暂无评论

SoC设计中的扫描测试技术

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2685-2689页

作者：徐勇军张伸张志敏李晓维中国科学院计算技术研究所先进测试技术实验室

针对SoC的基于IP设计、多时钟域、多用异步逻辑、时钟门控、系统集成等特点,给出了一种层次化的扫描测试结构,并将该方法成功应用于一款具有数百万门级的SoC设计中.实验结果表明,该方法不但可以极大程度地提高芯片的可测试性,保证其测... 详细信息

针对SoC的基于IP设计、多时钟域、多用异步逻辑、时钟门控、系统集成等特点,给出了一种层次化的扫描测试结构,并将该方法成功应用于一款具有数百万门级的SoC设计中.实验结果表明,该方法不但可以极大程度地提高芯片的可测试性,保证其测试覆盖率,也节约了产品开发时间和开发成本.

关键词： SoC 可测试性设计扫描设计层次化设计方法

来源：评论

学校读者我要写书评

暂无评论

基于STIL的测试向量转换模型及其实现

引用

计算机辅助设计与图形学学报 2007年第1期19卷 114-118页

作者：吴明行韩银和胡瑜王飞李晓维中国科学院计算技术研究所先进测试技术实验室北京100080

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测... 详细信息

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测试仪的测试向量转换系统———SpeedyE2A(S).实验结果表明,在相同的转换条件下,当测试向量较大时,SpeedyE2A(S)系统的转换时间远远少于Credence的TDS系统.经SpeedyE2A(S)系统转换的8051和海尔“爱国者”芯片的测试向量,已经成功地在北京自动测试技术研究所的测试系统上运行.

关键词：测试向量转换模型测试程序标准测试接口语言

来源：评论

学校读者我要写书评

暂无评论

一种基于子元组划分的快速两维包分类算法

引用

计算机研究与发展 2006年第10期43卷 1797-1803页

作者：刘彤李华伟李晓维宫曙光中国科学院计算技术研究所先进测试技术实验室中国科学院研究生院北京100049

包分类对于支持如防火墙、攻击检测、差分服务等网络应用有着重要的意义.研究人员对此做了大量研究.其中基于Srinivasan提出的元组空间思想的算法都存在着不能够通过预查找的方法直接定位匹配规则的元组的问题,因此此类算法的平均查找... 详细信息

包分类对于支持如防火墙、攻击检测、差分服务等网络应用有着重要的意义.研究人员对此做了大量研究.其中基于Srinivasan提出的元组空间思想的算法都存在着不能够通过预查找的方法直接定位匹配规则的元组的问题,因此此类算法的平均查找性能不稳定.针对两维包分类,提出了将元组划分为子元组的准则,满足准则的子元组可以根据3个独立的一维查找结果确定是否包含匹配规则,通过消除不必要的元组查找来提高查找速度和获得稳定的查找性能.

关键词：两维包分类元组子元组

来源：评论

学校读者我要写书评

暂无评论

结合ATPG和SAT的无界模型检验前像计算方法

引用

计算机辅助设计与图形学学报 2007年第3期19卷 376-380页

作者：刘领一赵阳吕涛李华伟李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所计算机先进测试技术实验室北京100080中国科学院研究生院北京100049 中国科学院计算技术研究所计算机先进测试技术实验室北京100080

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 详细信息

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.

关键词：形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：