基于测试向量中不确定位的漏电流优化技术 被引量：4

1

作者 王伟 韩银和 +1 位作者 李晓维 张佑生 《电子学报》 EI CAS CSCD 北大核心 2006年第2期282-286,共5页

众所周知,CMO S电路测试时由漏电流引起的漏电流功耗在测试功耗中处于重要地位.降低测试时的漏电流对于延长需要周期性自测试的便携式系统电池寿命、提高测试的可靠性和降低测试成本都至关重要.文章首先分析了漏电流的组成,和与之相关... 众所周知,CMO S电路测试时由漏电流引起的漏电流功耗在测试功耗中处于重要地位.降低测试时的漏电流对于延长需要周期性自测试的便携式系统电池寿命、提高测试的可靠性和降低测试成本都至关重要.文章首先分析了漏电流的组成,和与之相关的晶体管的堆栈效应.然后,我们提出了一种基于测试向量中不确定位(X位)、使用遗传算法优化集成电路测试时漏电流的方法.实验结果证明在组合电路和时序电路测试中该方法能够在不影响故障覆盖率的条件下,有效优化测试时电路的漏电流. 展开更多

关键词 漏电流 不确定位 遗传算法

在线阅读 下载PDF 职称材料

SoC设计中的扫描测试技术 被引量：1

2

作者 徐勇军 张伸 +1 位作者 张志敏 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第12期2685-2689,共5页

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

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

在线阅读 下载PDF 职称材料

一种有效的低功耗扫描测试结构——PowerCut 被引量：10

3

作者 王伟 韩银和 +2 位作者 胡瑜 李晓维 张佑生 《计算机研究与发展》 EI CSCD 北大核心 2007年第3期473-478,共6页

扫描测试是超大规模集成电路测试中最常用的一种技术.但在扫描测试过程中,扫描单元的频繁翻转会引起电路中过大的测试功耗,这对电路测试提出了新的挑战.提出了一种新颖的低功耗全扫描结构——PowerCut,通过对扫描链的修改,加入阻隔逻辑... 扫描测试是超大规模集成电路测试中最常用的一种技术.但在扫描测试过程中,扫描单元的频繁翻转会引起电路中过大的测试功耗,这对电路测试提出了新的挑战.提出了一种新颖的低功耗全扫描结构——PowerCut,通过对扫描链的修改,加入阻隔逻辑,有效降低扫描移位过程中的动态功耗,同时加入控制单元,使电路在扫描移位过程时进入低漏电流状态,降低了电路的静态功耗.实验表明该结构在较小的硬件开销范围内有效地减小了扫描测试功耗. 展开更多

关键词 测试功耗 阻隔逻辑 控制单元 扫描链

在线阅读 下载PDF 职称材料

SoC测试中低成本、低功耗的芯核包装方法 被引量：4

4

作者 王伟 韩银和 +2 位作者 胡瑜 李晓维 张佑生 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1397-1402,共6页

提出一种SoC测试中新颖的并行芯核包装方法(parallel core wrapper design,pCWD),该包装方法利用扫描切片重叠这一特点,通过缩短包装扫描链长度来减少测试功耗和测试时间.为了进一步减少测试时间,还提出了一种测试向量扫描切片划分和赋... 提出一种SoC测试中新颖的并行芯核包装方法(parallel core wrapper design,pCWD),该包装方法利用扫描切片重叠这一特点,通过缩短包装扫描链长度来减少测试功耗和测试时间.为了进一步减少测试时间,还提出了一种测试向量扫描切片划分和赋值算法.实验结果表明,针对ITC 2002基准SoC集中d695芯片,应用并行包装方法和测试向量切片划分及赋值算法,能够减少50%的测试时间及95%的测试功耗. 展开更多

关键词 SOC测试 芯核包装电路 不确定位 扫描切片

在线阅读 下载PDF 职称材料

路径测试中基本路径集的自动生成 被引量：9

5

作者 张广梅 李晓维 韩丛英 《计算机工程》 CAS CSCD 北大核心 2007年第22期195-197,共3页

路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该... 路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程,提高路径生成的效率。 展开更多

关键词 路径测试 独立路径 基本路径集

在线阅读 下载PDF 职称材料

基于组合解压缩电路的多扫描链测试方法 被引量：1

6

作者 董婕 胡瑜 +1 位作者 韩银和 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2006年第6期1001-1007,共7页

提出一种采用组合电路实现解压缩电路的压缩方法,只需少量的输入管脚,可以驱动大量的内部扫描链·该方法利用确定性测试向量中存在的大量的不确定位(X位),采用对测试向量进行切片划分和兼容赋值的思想,通过分析扫描切片之间的兼容... 提出一种采用组合电路实现解压缩电路的压缩方法,只需少量的输入管脚,可以驱动大量的内部扫描链·该方法利用确定性测试向量中存在的大量的不确定位(X位),采用对测试向量进行切片划分和兼容赋值的思想,通过分析扫描切片之间的兼容关系来寻找所需的外部扫描输入管脚的最小个数·实验结果表明,它能有效地降低测试数据量·此外,通过应用所提出的解压缩电路,扫描链的条数不再受到自动测试仪的限制,因此能充分发挥多扫描链设计降低测试应用时间的优点· 展开更多

关键词 扫描设计 测试数据量 解压缩电路 组合电路 兼容

在线阅读 下载PDF 职称材料

SCANGIN:一种降低扫描测试中动态功耗的方法 被引量：1

7

作者 李佳 胡瑜 +1 位作者 李晓维 王伟 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1391-1396,共6页

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

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

在线阅读 下载PDF 职称材料

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

8

作者 吴明行 韩银和 +2 位作者 胡瑜 王飞 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第1期114-118,共5页

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

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

在线阅读 下载PDF 职称材料

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

9

作者 方红霞 李华伟 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第1期75-81,共7页

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

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

在线阅读 下载PDF 职称材料

RTL可观测性语句覆盖评估方法 被引量：3

10

作者 鲁巍 吕涛 +1 位作者 杨修涛 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第1期62-68,共7页

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

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

在线阅读 下载PDF 职称材料

数据流相关软件故障的静态检测 被引量：5

11

作者 张广梅 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第11期2477-2483,共7页

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

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

在线阅读 下载PDF 职称材料

一种基于子元组划分的快速两维包分类算法 被引量：1

12

作者 刘彤 李华伟 +1 位作者 李晓维 宫曙光 《计算机研究与发展》 EI CSCD 北大核心 2006年第10期1797-1803,共7页

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

无线传感器网络的广播时间同步算法 被引量：5

14

作者 谷春江 徐朝农 +2 位作者 张浩 徐勇军 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1432-1437,共6页

基于包交换机制,利用无线信道的广播特性和捎带技术减少同步报文个数;对包时间信息进行缓存并采用最小方差线性拟合方法平滑同步误差抖动.模拟结果表明,在Mica2上单跳平均同步精度达到约57μs.最后与类似算法进行了性能比较.

关键词 传感器网络 时间同步 时钟同步

在线阅读 下载PDF 职称材料

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

15

作者 李吉 韩银和 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第12期2690-2695,共6页

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

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

在线阅读 下载PDF 职称材料