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

第十四届全国容错计算学术会议

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

随着工艺的不断发展，越来越多的因素会在电路中引入小时延缺陷，因此检测小时延缺陷变的非常必要。本文首先回顾已有的几个评估小时延缺陷覆盖情况的度量标准并分析它们的优缺点。这些度量标准由于没有排除已经被测到的大时延缺陷的干... 详细信息

随着工艺的不断发展，越来越多的因素会在电路中引入小时延缺陷，因此检测小时延缺陷变的非常必要。本文首先回顾已有的几个评估小时延缺陷覆盖情况的度量标准并分析它们的优缺点。这些度量标准由于没有排除已经被测到的大时延缺陷的干扰而不能准确反映测试集对于小时延缺陷的覆盖情况。进而提出了一种用来准确评估小时延缺陷覆盖率的新的度量标准：扩展统计时延质量等级（Extended Statistical Delay Quality Level，ESDQL）。实验结果表明ESDQL在评估测试集的时延测试质量以及对测试向量自动生成（Automatic Test Pattern Generation, ATPG）的指导方面都优于已有的度量标准。

关键词：集成电路小时延缺陷跳变故障电路测试

来源：评论

学校读者我要写书评

暂无评论

抽象距离引导的半形式化验证方法

抽象距离引导的半形式化验证方法

引用

第十三届全国容错计算学术会议

作者：张弢吕涛李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所，北京 100190 中国科学院研究生院，北京 100190 中国科学院计算机系统结构重点实验室中国科学院计算技术研究所，北京 100190

传统模拟验证方法和形武化验证方法在面临复杂大规模设计时，性能和处理能力的缺陷日益突出。为了融合二者的优点，避免各自不足，本文改进并实现了一种半形式化的验证方法。首先，提出了控制状态变量和一般控制变量的概念，以及从代码... 详细信息

传统模拟验证方法和形武化验证方法在面临复杂大规模设计时，性能和处理能力的缺陷日益突出。为了融合二者的优点，避免各自不足，本文改进并实现了一种半形式化的验证方法。首先，提出了控制状态变量和一般控制变量的概念，以及从代码中识别和提取这两类变量的方法。利用此方法能够从目标设计中较为精细的抽象出部分核心电路逻辑，获得抽象距离信息。然后通过一种抽象信息引导的激励生成算法，对获得的抽象信息的有效性进行了检验。实验结果表明，这种方法仅需花费较小的计算代价，获得了较为精确的抽象信息，能够高效的引导验证覆盖到难达的状态。并且与设计规模相关性较小，具有较为广泛的适用性。

关键词：集成电路设计验证半形式化方法抽象距离引导

来源：评论

学校读者我要写书评

暂无评论

基于存储级并行的同时多线程电压紧急容错技术

基于存储级并行的同时多线程电压紧急容错技术

引用

第十四届全国容错计算学术会议

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

时钟门控技术引起的电流波动以及供电网络上的寄生阻抗效应，共同形成感应噪声(dI/dt)并引起供电电压波动。供电电压波动过大可能引发时延故障并最终影响系统正确运行，这类电压波动被称为电压紧急。相比于单线程处理器，同时多线程处... 详细信息

时钟门控技术引起的电流波动以及供电网络上的寄生阻抗效应，共同形成感应噪声(dI/dt)并引起供电电压波动。供电电压波动过大可能引发时延故障并最终影响系统正确运行，这类电压波动被称为电压紧急。相比于单线程处理器，同时多线程处理器随着线程数的增多，其电压紧急呈现频度大和幅度高的特点。本文分析了同时多线程处理器中的电压紧急特性，并结合程序的存储级并行性，提出了一种线程调度策略以避免发生资源拥塞，从而减少电压紧急对系统性能的影响。

关键词：多线程处理器存储级并行感应噪声容错技术

来源：评论

学校读者我要写书评

暂无评论

处理器体系结构脆弱因子分析

处理器体系结构脆弱因子分析

引用

第十三届全国容错计算学术会议

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

随着CMOS工艺的不断进步，单个芯片上集成的晶体管数目越来越多，使得由高能粒子辐射产生的软错误已经成为影响处理器可靠性的重要因素。量化分析软错误对不同结构的影响，已成为指导选择容错方法，提高处理器可靠性的重要措施。本文在... 详细信息

随着CMOS工艺的不断进步，单个芯片上集成的晶体管数目越来越多，使得由高能粒子辐射产生的软错误已经成为影响处理器可靠性的重要因素。量化分析软错误对不同结构的影响，已成为指导选择容错方法，提高处理器可靠性的重要措施。本文在对已有方法分析的基础上，提出了一种基于占用率的在线体系结构脆弱因子计算方法，实验结果表明，该方法能有效地计算处理器中不同结构的体系结构脆弱因子。

关键词：处理器体系结构可靠性软错误体系结构脆弱因子 CMOS工艺

来源：评论

学校读者我要写书评

暂无评论

一种新的片上网络系统验证平台

一种新的片上网络系统验证平台

引用

第十三届全国容错计算学术会议

作者：巴音达拉韩银和李晓维中国科学院计算机系统结构重点实验室，中国科学院计算技术研究所，北京 100190 中国科学院研究生院，北京 100039 中国科学院计算机系统结构重点实验室，中国科学院计算技术研究所，北京 100190

使用FPGA等硬件对片上网络进行验证，相对于使用行为级的验证更为快速和精确。然而，受限于硬件资源的有限性，很难在一个FPGA系统中部署计算资源来模拟真实的计算环境。采用软件模拟的方式评估所设计的片上网络系统，虽然便于实现且成... 详细信息

使用FPGA等硬件对片上网络进行验证，相对于使用行为级的验证更为快速和精确。然而，受限于硬件资源的有限性，很难在一个FPGA系统中部署计算资源来模拟真实的计算环境。采用软件模拟的方式评估所设计的片上网络系统，虽然便于实现且成本低廉，但是却不能反映数据在网络通路中传输时的真实情况且速度较慢。本文提出了一种新的验证片上网络的方法——利用软硬件协同的方式对片上互联网络进行验证。将整个基于片上网络的系统分为两大模块：片上网络和处理单元。通过硬件来实现结构相对简单且同构的片上网络部分，而扩展需求高，复杂多变的处理单元则通过软件来实现，二者结合，很好的实现了完整的系统。这种软硬协同的方法不但能够真实的反映NOC系统在进行数据传输时的状态，同时也能忽略硬件条件的限制，较方便的模拟不同的处理单元。

关键词：片上网络验证平台软硬件协同 FPGA 数据传输

来源：评论

学校读者我要写书评

暂无评论

一种CMP结构上的事务存储编程模型设计

引用

计算机仿真 2007年第6期24卷 81-85页

作者：陈嘉安虹刘圆王莉中国科学技术大学计算机科学技术系中国科学院计算技术研究所计算机系统结构重点实验室北京100080

多核结构上采用由用户显式制导的并行程序设计模型,使用锁和同步变量来实现同步。事务存储模型能够解决由锁机制带来的一系列问题,提高程序的并发性。介绍了在文中提出的一种基于事务存储模型的多核结构(Transactional-Memory based Chi... 详细信息

多核结构上采用由用户显式制导的并行程序设计模型,使用锁和同步变量来实现同步。事务存储模型能够解决由锁机制带来的一系列问题,提高程序的并发性。介绍了在文中提出的一种基于事务存储模型的多核结构(Transactional-Memory based Chip Multiple-Superscaler,TMCMS)上的并行编程模型,以及针对循环程序的执行模型;以FFT程序为例具体介绍了循环结构的并行化方法和编译转换过程。在初步的实验中,将处理单元从1增加到16个时,在所设计的编程模型的支持下,IPC(Instruction PerCycle)有接近线性的增长,说明该并行编程模型能够充分发掘程序中潜在的细粒度线程级并行性,同时保持并行程序设计的简单性。

关键词：多核芯片结构并行程序设计模型事务存储

来源：评论

学校读者我要写书评

暂无评论

嵌入式存储器诊断电路的失效位图压缩方法

嵌入式存储器诊断电路的失效位图压缩方法

引用

第十三届全国容错计算学术会议

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

随着嵌入式存储器广泛应用于集成电路设计中，对其进行故障诊断与失效分析是提高芯片成品率的一种必要手段。由于嵌入式存储器自身可控制和可观测性较差，通常需要在片内设计诊断电路来保存失效信息以满足故障诊断和失效分析需求。在高... 详细信息

随着嵌入式存储器广泛应用于集成电路设计中，对其进行故障诊断与失效分析是提高芯片成品率的一种必要手段。由于嵌入式存储器自身可控制和可观测性较差，通常需要在片内设计诊断电路来保存失效信息以满足故障诊断和失效分析需求。在高失效密度下，研究面积开销小、数据传输量少的故障诊断电路具有重要意义。本文提出了一种将失效向量进行失效位扩展并编码后存储为失效位图的电路结构。在此基础上，针对传输数据量过多导致测试时间过长问题，本文提出将压缩后的失效位图对失效地址位和测试状态、测试数据和失效向量分别压缩的方法，减少传输数据量。

关键词：嵌入式存储器故障诊断失效位图编码方法压缩方法

来源：评论

学校读者我要写书评

暂无评论

一种处理器结构级功耗评估方法

一种处理器结构级功耗评估方法

引用

2006中国计算机学会体系结构专委会学术年会

作者：黄琨侯锐章隆兵中国科学院计算技术研究所计算机系统结构重点实验室北京100080

本文基于Wattch功耗评估工具,设计并实现了针对龙芯2号的功耗评估方法。在此基础上,构建了片上多核的微处理器模型,进一步研究了关于片上多核微处理器的功耗评估方法。

关键词：微处理器片上多核功耗评估

来源：评论

学校读者我要写书评

暂无评论

基于机群的光线投射并行体绘制算法的研究

基于机群的光线投射并行体绘制算法的研究

引用

2007年全国高性能计算学术年会

作者：黄波谭光明邱振戈冯圣中中国科学院计算技术研究所计算机系统结构重点实验室北京 100080 中国科学院研究生院北京 100080 中国科学院计算技术研究所计算机系统结构重点实验室北京 100080

体绘制是科学计算可视化中极具挑战性的研究领域,光线投射体绘制算法是体绘制中最基本的算法之一。机群等高性能计算机的应用为并行体绘制算法带来了新的发展契机。本文结合机群体系结构的特点,建立了一种新的负载平衡模型并在此基础上... 详细信息

体绘制是科学计算可视化中极具挑战性的研究领域,光线投射体绘制算法是体绘制中最基本的算法之一。机群等高性能计算机的应用为并行体绘制算法带来了新的发展契机。本文结合机群体系结构的特点,建立了一种新的负载平衡模型并在此基础上高效地实现了光线投射并行体绘制算法。该算法首先基于屏幕图像空间块进行任务划分,然后根据新的负载平衡模型把不同任务分配给相应计算结点计算颜色值,同时收集图像结果,从而很好地掩盖了通信延迟。该算法在曙光4000A服务器共享平台上实现,获得了较好的加速比,具有较好的可扩展性。

关键词：光线跟踪并行体绘制算法负载平衡模型任务分配可扩展性

来源：评论

学校读者我要写书评

暂无评论

一种分布式无需测距的定位算法

一种分布式无需测距的定位算法

引用

第一届中国传感器网络学术会议(CWSN 2007)

作者：周全徐勇军李晓维中国科学院计算技术研究所计算机系统结构重点实验室北京 100080 中国科学院研究生院北京 100039 中国科学院计算技术研究所传感器网络实验室北京 100080 中国科学院计算技术研究所计算机系统结构重点实验室北京 100080

现有的大部分无线传感器网络定位算法(例如Centroid)是集中式算法。传感器节点都需要将采集的信息发送给汇聚节点进行定位算法的运算。受到mean shift算法的启发,我们提出一种新的分布式定位机制,通信开销和功耗均优于Centroid。该算法... 详细信息

现有的大部分无线传感器网络定位算法(例如Centroid)是集中式算法。传感器节点都需要将采集的信息发送给汇聚节点进行定位算法的运算。受到mean shift算法的启发,我们提出一种新的分布式定位机制,通信开销和功耗均优于Centroid。该算法通过虚拟簇(Virtual Cluster, VC)来估计目标所在的方位,然后向目标方向移动虚拟簇。通过不断的移动虚拟簇,在几次迭代以后,目标将位于虚拟簇的中心。该方法除了用于目标定位,还可以用于移动目标的跟踪等应用。

关键词： Mean shift算法网络定位算法无线传感器网络传感器节点分布式定位

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：