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

计算机辅助设计与图形学学报 2009年第4期21卷 474-480页

作者：张颖李华伟李晓维胡瑜中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损... 详细信息

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销.

关键词：多跳变故障模型向量冗余欧拉回路软件自测试

来源：评论

学校读者我要写书评

暂无评论

利用内容可寻址技术的存储器BISR方法

引用

计算机辅助设计与图形学学报 2009年第4期21卷 467-473页

作者：谢远江王达胡瑜李晓维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

随着缺陷密度的增加,在存储器中设计冗余行或冗余列替换有缺陷的存储器单元已成为提高存储器成品率的常用方法.然而基于冗余行或冗余列的修复方法不仅对冗余资源的利用率较低、冗余分析算法较复杂,且受限于存储器生产厂商提供的冗余资... 详细信息

随着缺陷密度的增加,在存储器中设计冗余行或冗余列替换有缺陷的存储器单元已成为提高存储器成品率的常用方法.然而基于冗余行或冗余列的修复方法不仅对冗余资源的利用率较低、冗余分析算法较复杂,且受限于存储器生产厂商提供的冗余资源结构.针对此,提出了利用内容可寻址技术结合冗余行和冗余列来修复存储器的方法.该方法中,内容可寻址存储器不仅用于存储修复信息,还被用于当作冗余字替换故障字实现字修复,而冗余行和冗余列则分别用于修复行或列地址译码故障;并在译码逻辑输出端设计控制电路,避免对已修复的故障字进行访问.文中方法简单易行、面积开销小、利于扩展且修复效果好.实验结果表明,该方法在获得同样修复效率的情况下,冗余资源和内容可寻址存储器面积开销最小约为已有二维冗余修复方法的20%.

关键词：内建自测试内建自诊断内建冗余分析内建自修复内容可寻址存储器

来源：评论

学校读者我要写书评

暂无评论

面向最大串扰噪声的测试生成方法

引用

计算机辅助设计与图形学学报 2009年第4期21卷 448-453页

作者：张旻晋李华伟李晓维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了... 详细信息

随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.

关键词：串扰集成电路测试测试生成最大可满足问题

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机辅助设计与图形学学报 2009年第1期21卷 6-12页

作者：王飞胡瑜李晓维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

硬件结构支持的基于同步的高速缓存一致性协议

引用

计算机学报 2009年第8期32卷 1618-1630页

作者：黄河刘磊宋风龙马啸宇中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存... 详细信息

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存一致性协议.该方案不使用目录,而是通过使用bloom-filter表示一致性信息,并在并行程序中的同步点维护高速缓存一致性.与现有的基于目录的高速缓存一致性协议相比,该方案可以降低目录协议的实现、验证复杂度.用SPLASH-2测试程序集评估表明,基于同步的协议可以获得与基于目录的协议相当的性能.

关键词：高速缓存一致性存储一致性模型多核处理器共享存储系统

来源：评论

学校读者我要写书评

暂无评论

基于遗传算法的全芯片级覆盖率驱动随机验证技术

引用

计算机研究与发展 2009年第10期46卷 1612-1625页

作者：沈海华王朋宇卫文丽郭崎中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所微处理器技术研究中心北京100190 中国科学院研究生院北京100049

随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法... 详细信息

随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.

关键词：验证大规模集成电路随机测试生成覆盖率驱动的测试生成遗传算法

来源：评论

学校读者我要写书评

暂无评论

一种基于超步执行的并行模拟平台研究与实现

引用

系统仿真学报 2009年第15期21卷 4647-4653,4660页

作者：许建卫陈明宇刘涛杨伟郑规孙凝晖中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院研究生院北京100190

计算机系统的并行化趋势使得传统的串行模拟器正面临严峻的挑战,一方面由于执行速度和内存的限制无法模拟目标大规模并行系统;另一方面,无法充分利用已有并行系统的资源。因此,串行模拟器已经成为宿主机和目标系统之间的瓶颈。Hypersim... 详细信息

计算机系统的并行化趋势使得传统的串行模拟器正面临严峻的挑战,一方面由于执行速度和内存的限制无法模拟目标大规模并行系统;另一方面,无法充分利用已有并行系统的资源。因此,串行模拟器已经成为宿主机和目标系统之间的瓶颈。Hypersim是基于SMP集群平台的新型并行模拟器,运行于其上的主从式操作系统原型hyperOS为应用程序提供了运行环境,实验表明,该模拟平台可以正确地模拟一种新型的HPP高性能计算机体系结构。为了高效并行,hypersim中采用细粒度负载分配及高效的同步和通信机制,提出并采用超步执行技术来加速模拟器执行,结果显示hypersim在多进程情况下有一定的加速,在单进程多线程情况下有较好的加速比。

关键词：并行模拟超步执行锁避免通信 HPP体系结构

来源：评论

学校读者我要写书评

暂无评论

计算机体系结构模拟器技术和发展

引用

系统仿真学报 2009年第20期21卷 6325-6331页

作者：许建卫陈明宇杨伟潘晓雷郑规赵健博孙凝晖中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院研究生院北京100049

对计算机体系结构模拟器的技术和发展历程进行评述,从速度、精度和灵活性三个方面对领域需求和相关技术做了分类总结,分析了上述三个方面的难点并从模拟器实现和使用两个层面介绍了现有的解决方案;给出了模拟器目前面临的困境及下一步... 详细信息

对计算机体系结构模拟器的技术和发展历程进行评述,从速度、精度和灵活性三个方面对领域需求和相关技术做了分类总结,分析了上述三个方面的难点并从模拟器实现和使用两个层面介绍了现有的解决方案;给出了模拟器目前面临的困境及下一步发展趋势;对体系结构模拟器的开发和使用给出几点建议。

关键词：体系结构模拟器加速技术大规模模拟

来源：评论

学校读者我要写书评

暂无评论

一种寄存器压力敏感的指令投机调度技术

引用

计算机研究与发展 2009年第3期46卷 485-491页

作者：黄磊冯晓兵吕方中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

投机是指令调度克服指令间控制依赖的一种重要手段.投机一方面可以提高指令级并行带来性能改善,另一方面,它也可能拉长变量活跃区间,增大寄存器压力,导致变量溢出,从而恶化性能.前人的寄存器压力敏感的指令调度的方法,往往当调度区域内... 详细信息

投机是指令调度克服指令间控制依赖的一种重要手段.投机一方面可以提高指令级并行带来性能改善,另一方面,它也可能拉长变量活跃区间,增大寄存器压力,导致变量溢出,从而恶化性能.前人的寄存器压力敏感的指令调度的方法,往往当调度区域内活跃变量个数超过阈值时一味保守地调度.考虑到每调度一条指令的收益和代价是不同的,通过具体分析一次投机调度的性能收益和溢出代价来有选择地投机指令,而不是仅仅考虑活跃变量的数目.实验表明,该方法能有效提高程序性能,对SPEC2000的整数例子,比不考虑寄存器压力的投机调度平均性能提高1.44%.

关键词：投机指令调度寄存器压力活跃区间溢出超标量

来源：评论

学校读者我要写书评

暂无评论

一种基于反馈信息的地址寄存器提升方法

引用

计算机研究与发展 2009年第4期46卷 698-704页

作者：张超吕方王蕾冯晓兵中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

在MIPS,ALPHA,SPARC和PowerPC等体系结构中,对全局变量和静态变量的访问一般采用间接寻址的方式.由于变量地址和变量值不在同一数据段,使得数据访问的局部性不好.这样,每次访问变量地址会导致大量冗余的数据cache不命中访存操作.此外,... 详细信息

在MIPS,ALPHA,SPARC和PowerPC等体系结构中,对全局变量和静态变量的访问一般采用间接寻址的方式.由于变量地址和变量值不在同一数据段,使得数据访问的局部性不好.这样,每次访问变量地址会导致大量冗余的数据cache不命中访存操作.此外,这种寻址方式会产生两条连续的有数据依赖的操作,降低了程序的指令级并行性.提出了基于反馈信息的地址寄存器提升算法(address register promotion based on feedbacks,ARPF).该算法减少了对全局变量地址和静态变量地址的冗余访问,提高了程序的ILP(instruction level parallelism),同时避免了由于寄存器压力增加导致性能下降.在龙芯编译器①上实现了该算法.实验表明ARPF对SPEC CPU2000INT所有测试用例有1%～6%的性能提升.

关键词：反馈地址寄存器提升寄存器压力指令级并行寄存器变量识别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：