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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

137 篇 期刊文献
69 篇 会议

馆藏范围

206 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

199 篇 工学
- 155 篇 计算机科学与技术...
- 43 篇 软件工程
- 35 篇 电子科学与技术（可...
- 9 篇 仪器科学与技术
- 8 篇 信息与通信工程
- 7 篇 机械工程
- 5 篇 网络空间安全
- 4 篇 建筑学
- 3 篇 控制科学与工程
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 航空宇航科学与技...
17 篇 管理学
- 17 篇 管理科学与工程(可...
5 篇 理学
- 2 篇 生物学
- 2 篇 系统科学
4 篇 艺术学
- 4 篇 设计学（可授艺术学...
1 篇 军事学
- 1 篇 军队指挥学

主题

8 篇 集成电路
7 篇 无线传感器网络
7 篇 片上网络
7 篇 功能验证
7 篇 高性能计算
7 篇 功耗评估
6 篇 容错
6 篇 多核处理器
6 篇 性能优化
5 篇 虚拟机
5 篇 芯片组
5 篇 覆盖率
5 篇 小时延缺陷
4 篇 验证
4 篇 多核
4 篇 体系结构
4 篇 高性能计算机
4 篇 片上多核处理器
4 篇 寄存器重命名
4 篇 时延测试

机构

94 篇 中国科学院研究生...
87 篇 中国科学院计算技...
72 篇 中国科学院计算机...
51 篇 中国科学院计算技...
12 篇 中国科学院计算技...
11 篇 北京龙芯中科技术...
10 篇 中国科学院大学
8 篇 龙芯中科技术有限...
8 篇 中国科学院计算机...
7 篇 计算机系统结构国...
7 篇 中国科学技术大学
6 篇 中国科学院研究生...
5 篇 北京交通大学
5 篇 中国科学院计算技...
5 篇 合肥工业大学
3 篇 北京控制工程研究...
3 篇 中国科学院微电子...
2 篇 中国科学院计算技...
2 篇 中国科学院计算技...
2 篇 清华大学

作者

51 篇 李晓维
22 篇 李华伟
19 篇 孙凝晖
18 篇 韩银和
17 篇 胡瑜
16 篇 章隆兵
16 篇 li xiaowei
15 篇 胡伟武
13 篇 沈海华
10 篇 张戈
9 篇 陈明宇
9 篇 安学军
9 篇 li huawei
9 篇 zhang longbing
9 篇 徐勇军
8 篇 hu weiwu
8 篇 张兆庆
8 篇 刘奇
8 篇 han yinhe
8 篇 zhang ge

语言

206 篇 中文

检索条件"机构=中国科学院计算技术研究所计算机系统结构重点实验室"

共 206 条记录，以下是151-160 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

ESDQL:一种评估小时延缺陷覆盖率的度量标准

ESDQL:一种评估小时延缺陷覆盖率的度量标准

引用

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

作者：朱雪峰李华伟李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所北京 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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于输出违例概率的时延向量测试质量评估

基于输出违例概率的时延向量测试质量评估

引用

第六届中国测试学术会议

作者：王杰梁华国李华伟闵应骅李晓维合肥工业大学计算机与信息学院中国科学院计算机系统结构重点实验室中国科学院计算技术研究所

评估向量针对小时延缺陷的测试质量是解决小时延缺陷测试问题的一个重要环节.本文把冒险引入了评估过程,提出了一种基于输出违例概率的测试质量评估方法.该方法定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量... 详细信息

评估向量针对小时延缺陷的测试质量是解决小时延缺陷测试问题的一个重要环节.本文把冒险引入了评估过程,提出了一种基于输出违例概率的测试质量评估方法.该方法定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量的小时延缺陷检测能力,有效地避免了忽略冒险引起的计算误差,从而准确的评估了向量对小时延缺陷的检测质量.实验结果表明,相对于基于输出偏移的国际同类方法,本文的评估方法不增加额外的时间开销;在其指导下筛选出来的向量具有更高的测试质量.

关键词：小时延缺陷时延测试冒险测试质量评估输出违例概率

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第十四届全国容错计算学术会议(CFTC'2011)

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

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

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

关键词：电压紧急感应噪声同时多线程存储级并行

来源：评论

学校读者我要写书评

暂无评论

曙光5000芯片组系统级功能验证平台

曙光5000芯片组系统级功能验证平台

引用

2009年全国理论计算机科学学术年会

作者：刘涛王凯李晓民安学军中国科学院计算技术研究所北京100190 中国科学院计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所北京100190 中国科学院计算机系统结构重点实验室北京100190

曙光5000芯片组是曙光5000 计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的系... 详细信息

曙光5000芯片组是曙光5000 计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟,提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中,SVP发现并排除了逻辑设计中的大多数功能错误,通过并行验证加速了验证覆盖率的收敛过程。

关键词：芯片组功能验证逻辑设计控制器分层结构

来源：评论

学校读者我要写书评

暂无评论

HPP交换芯片逻辑验证设计

HPP交换芯片逻辑验证设计

引用

第十二届计算机工程与工艺全国学术年会(NCCET'08)

作者：王达伟刘力轲刘兴奎中国科学院计算技术研究所北京 100190 中国科学院计算机系统结构重点实验室北京 100190 中国科学院研究生院北京 100039 中国科学院计算技术研究所北京 100190 中国科学院计算机系统结构重点实验室北京 100190

HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片功能的增加带来了芯片面积增大和状态空间急剧膨胀,大大增加芯片验证难度.本文重点讨论了HPP交换芯片验... 详细信息

HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片功能的增加带来了芯片面积增大和状态空间急剧膨胀,大大增加芯片验证难度.本文重点讨论了HPP交换芯片验证过程中采用的高级验证方法,并提出加快功能验证的策略.

关键词： HPP交换芯片功能验证逻辑验证覆盖率

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共21页 << < 12 13 14 15 16 17 18 19 20 21 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：