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

第六届中国测试学术会议

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

随着晶体管特征尺寸的缩小、晶体管密度的增大、工作电压的降低以及工作频率的升高,集成电路芯片对电压扰动、电磁干扰以及辐射等各种噪声干扰变得更加敏感,使处理器的可靠性面临日益严峻的挑战.容错设计是提高计算系统可靠性的重要方法... 详细信息

随着晶体管特征尺寸的缩小、晶体管密度的增大、工作电压的降低以及工作频率的升高,集成电路芯片对电压扰动、电磁干扰以及辐射等各种噪声干扰变得更加敏感,使处理器的可靠性面临日益严峻的挑战.容错设计是提高计算系统可靠性的重要方法.为了更好地指导容错设计,需要统计分析各种故障对计算系统可靠性的影响.搭建可靠性评估平台的主要目的就是快速准确地评估各类故障对计算系统可靠性的影响.我们分析了现有的可靠性评估方法,搭建了一个软硬件协同的微处理器可靠性设计评估平台.该平台具有良好的调试性,便于体系结构设计人员分析改进容错设计.

关键词：可靠性评估容错软硬件协同门级硬件仿真

来源：评论

学校读者我要写书评

暂无评论

一种复杂功能部件的形式化验证方法

一种复杂功能部件的形式化验证方法

引用

2010年中国计算机大会

作者：陈博文郭崎沈海华中国科学院计算机系统结构重点实验室北京 100190 中国科学院计算技术研究所北京 100190 中国科学院研究生院北京 100049 北京龙芯中科技术服务中心有限公司北京 100190 中国科学院计算机系统结构重点实验室北京 100190 中国科学院计算机系统结构重点实验室北京 100190 北京龙芯中科技术服务中心有限公司北京 100190

文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和运算部分分别验证.文章给出了标识数据的时间标记法，针对控制部分中数据抽象的通用抽象规则，以及对运... 详细信息

文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和运算部分分别验证.文章给出了标识数据的时间标记法，针对控制部分中数据抽象的通用抽象规则，以及对运算部分进行分割处理的技术.本文的方法成功应用于龙芯3号处理器浮点乘加部件的验证，实践表明该方法能够发现传统模拟仿真方法难以发现的隐藏很深的错误，能够有效支持工业级功能部件的验证.

关键词：形式化验证模型检测功能部件浮点乘加部件时间标记法数据抽象

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第六届中国测试学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于二阶近似域划分的可重构容错片上系统

一种基于二阶近似域划分的可重构容错片上系统

引用

第六届中国测试学术会议

作者：尚利宏周密胡瑜北京航空航天大学计算机学院中国科学院计算技术研究所计算机系统结构重点实验室

本文介绍了一种实现1553B总线智能节点功能的SOPC,并以此为例时本领域工程师们共同面临的可靠性问题进行了分析,展示了在民用FPGA上构建高可靠性低恢复延时的复杂系统的一种可行的方法.文中使用域划分模型对具有多个候选配置的可重构SOP... 详细信息

本文介绍了一种实现1553B总线智能节点功能的SOPC,并以此为例时本领域工程师们共同面临的可靠性问题进行了分析,展示了在民用FPGA上构建高可靠性低恢复延时的复杂系统的一种可行的方法.文中使用域划分模型对具有多个候选配置的可重构SOPC进行建模,从而将各候选配置的资源优化分配问题转化为二次规划问题求解,产生使可靠性最大的分配方案.使用盲重构的故障恢复技术降低恢复延时.本文还介绍了仿真实验,用于权衡系统的可靠性和恢复延时,从而确定合理的候选配置数量.实验表明,与传统的三模冗余技术相比,本方法能以更少的冗余资源提供更高的可靠性.

关键词： SOPC 容错域划分最优化可重构

来源：评论

学校读者我要写书评

暂无评论

一种基于RAM的降低异构多核切换开销的方法

一种基于RAM的降低异构多核切换开销的方法

引用

第16届全国信息存储技术大会IST2010

作者：刘奇郝守青沈海华章隆兵中国科学院计算机系统结构霞点实验室北京 100190 中国科学院计算技术研究所北京 100190 中国科学院研究生院北京 100049 北京龙芯中科技术服务中心有限公司北京 100190 中国科学院计算机系统结构霞点实验室北京 100190 中国科学院计算技术研究所北京 100190 北京龙芯中科技术服务中心有限公司北京 100190

同一程序的不同执行阶段或者不同程序运行时行为特征不同.并构多核处理器包含多种类型处理器棱，可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求，但是不同核间切换... 详细信息

同一程序的不同执行阶段或者不同程序运行时行为特征不同.并构多核处理器包含多种类型处理器棱，可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求，但是不同核间切换时保存、恢复程序现场开销严重影响了异构多核处理器的性能.增加少量片上随机存储单元(RAM)，并适当优化处理器核硬件结构是有效降低核间切换开销的方法.上述方法使得核间切换时不需要执行切换程序，通过发送RAM读写请求实现了程序现场的保存和恢复.基于龙芯异构多棱处理器平台评估了软、硬件实现核问切换开销.实验结果表明上述硬件方法将核间切换开销下降到软件开销的11％，且仅带来了2.49％的面积增加争1.8％的功耗增加。

关键词：龙芯异构多核核间切换开销寄存器重命名存储单元

来源：评论

学校读者我要写书评

暂无评论

激进域敏感基于合并的指针分析

引用

计算机学报 2009年第9期32卷 1722-1735页

作者：于洪涛张兆庆中国科学院计算技术研究所计算机系统结构重点实验室北京100190

指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高... 详细信息

指针分析是静态程序分析的基础,指针分析的精度直接影响后续的程序分析和优化.域敏感性用来描述指针分析是否需要区分结构体对象的不同域成员.文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高层分析,使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员.文中还对原有类型推导规则做了重要改进,尽量避免在合并类型变量时造成的精度损失.为了保证新类型推导规则的正确性,方法将所有的结构体赋值操作转换成对每个结构体成员的赋值操作.大量实验数据表明,该方法分析精度显著高于以往方法而运行开销几乎相当.该方法还将域成员的激进表示集成至编译器的中间表示中以获得可移植性.

关键词：域敏感的基于合并的 Steensgaard风格指针分析别名分析

来源：评论

学校读者我要写书评

暂无评论

基于CLP模型的HDL设计可观测性分析

引用

计算机辅助设计与图形学学报 2009年第5期21卷 688-693,699页

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

为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以... 详细信息

为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以生成更有效的测试向量,使得特定语句上的错误能够被传播到输出,加快模拟验证发现bug的过程;另一方面可以识别出不可观测的语句,避免盲目追求高覆盖率,节约模拟验证的资源.

关键词：功能验证模拟验证可观测性逻辑约束编程

来源：评论

学校读者我要写书评

暂无评论

无界模型检验中融合电路信息的SAT算法研究

引用

计算机学报 2009年第6期32卷 1110-1118页

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

针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结... 详细信息

针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结构中保存电路的互连信息,在搜索过程中更早地识别可满足解,减少不必要的搜索.其次,文中提出了在CNF结构上的状态变量赋值精简方法,摆脱了以往基于SAT的无界模型检验中这一步骤对门级电路结构的依赖.实验数据表明,利用文中方法进行前像计算能够取得明显的加速.同时,文章比较了两种搜索顺序在多时帧搜索中的效果.实验结果表明利用文中方法可以验证传统模型检验方法难以验证的复杂电路属性.

关键词：设计验证无界模型检验 Boolean可满足性问题(SAT) 寄存器传输级(RTL)

来源：评论

学校读者我要写书评

暂无评论

龙芯2号处理器的同时多线程设计

引用

计算机学报 2009年第11期32卷 2265-2273页

作者：李祖松许先超胡伟武唐志敏中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100039

提出了适合龙芯2号处理器的同时多线程处理器模型,并介绍了具体的微体系结构设计以及相应的Linux操作系统的实现方案.通过在设计的龙芯2号同时多线程处理器上启动Linux操作系统,并运行应用程序,例如SPEC CPU2000,进行性能评测.结果表明... 详细信息

提出了适合龙芯2号处理器的同时多线程处理器模型,并介绍了具体的微体系结构设计以及相应的Linux操作系统的实现方案.通过在设计的龙芯2号同时多线程处理器上启动Linux操作系统,并运行应用程序,例如SPEC CPU2000,进行性能评测.结果表明,龙芯2号同时多线程处理器通过挖掘线程级并行性,将龙芯2号处理器的性能提高了31.1%.

关键词：龙芯2 同时多线程微体系结构 Linux操作系统

来源：评论

学校读者我要写书评

暂无评论

SoC总线串扰的精简MT测试集

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：