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

计算机辅助设计与图形学学报 2010年第9期22卷 1502-1507页

作者：蒋毅飞张戈中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049 北京龙芯中科技术服务中心有限公司北京100190

内存带宽通常是计算机图形系统的瓶颈,文中总结了用于降低图形系统带宽开销的常见机制,在纹理压缩算法S3TC基础上,提出场景前颜色缓冲区压缩方法——YCoCg-R CBC.该方法定义了2种颜色缓冲区压缩数据格式,将像素转换到YCoCg-R颜色空间,... 详细信息

内存带宽通常是计算机图形系统的瓶颈,文中总结了用于降低图形系统带宽开销的常见机制,在纹理压缩算法S3TC基础上,提出场景前颜色缓冲区压缩方法——YCoCg-R CBC.该方法定义了2种颜色缓冲区压缩数据格式,将像素转换到YCoCg-R颜色空间,对亮度和色度数据分别处理,并使亮度数据具有较高精度.实验结果表明,YCoCg-R CBC 2种数据格式的平均PSNR值各为41.71 dB和47.24 dB,较S3TC算法分别提高了7.87 dB和13.40 dB;解压图像质量得到显著改善,已经很难观察到它们与原始图像的差异.

关键词： GPU 颜色缓冲区压缩 YCoCg-R颜色空间

来源：评论

学校读者我要写书评

暂无评论

片上多核处理器存储一致性验证

引用

软件学报 2010年第4期21卷 863-874页

作者：王朋宇陈云霁沈海华陈天石张珩中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049 中国科学技术大学计算机科学技术系安徽合肥230027

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执... 详细信息

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具***利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具,LCHECK发现了一些存储系统的设计错误.

关键词：存储一致性模型验证时间序片上多核处理器缓存一致性

来源：评论

学校读者我要写书评

暂无评论

大规模数据密集型系统中的去重查询优化

引用

计算机研究与发展 2010年第4期47卷 581-588页

作者：宋怀明安明远王洋袁春阳孙凝晖中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049 国家计算机网络应急技术处理协调中心北京100029

针对shared-nothing结构下大规模数据密集型系统去重查询的挑战,提出了一种有效的数据分布策略和并行处理方法分别对相关属性和无关属性去重进行优化:即自适应的散列和直方图相结合的数据分布策略,以及异步式并行查询中间件.前者在数据... 详细信息

针对shared-nothing结构下大规模数据密集型系统去重查询的挑战,提出了一种有效的数据分布策略和并行处理方法分别对相关属性和无关属性去重进行优化:即自适应的散列和直方图相结合的数据分布策略,以及异步式并行查询中间件.前者在数据写入时保证数据均衡,并在数据量发生倾斜时自动调整数据的分布;后者充分发掘了去重查询处理中的粗粒度流水级并行,并消除了多节点同步等待的开销,尽早地返回结果.在生产系统DBroker上的测试表明,数据分布策略极大地改善相关属性的去重查询性能,而异步式并行查询引擎能够充分发掘并行性,对不相关属性的去重查询具有显著的性能提升.

关键词：去重查询数据划分大规模数据密集型系统异步查询并行查询引擎

来源：评论

学校读者我要写书评

暂无评论

基于VPM和随机激励的处理器核仿真建模

引用

计算机工程 2010年第20期36卷 19-21,24页

作者：许彤张仕健吕涛中国科学院计算技术研究所微处理器中心北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所计算机系统结构重点实验室北京100190

为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动... 详细信息

为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动生成方案和片上互连验证功能。实验结果证明,该方法对处理器IP仿真建模具有普适意义,能够被无缝融入SoC流程中。

关键词： IP仿真模型 SimpleScalar模拟器可控随机事件总线功能模型龙芯1号处理器

来源：评论

学校读者我要写书评

暂无评论

GVE：Godson-T众核体系结构快速原型验证和调试平台

GVE：Godson-T众核体系结构快速原型验证和调试平台

引用

2010年中国计算机大会

作者：雷峥蒙宋风龙张轮凯唐士斌范东睿中国科学院计算技术研究所计算机系统结构重点实验室北京 100190 中国科学院研究生院北京 100039 中国科学院计算技术研究所计算机系统结构重点实验室北京 100190

由于硅技术在处理器工业发展对处理器工业的影响，为了满足当前对高性能和高吞吐率的需求，众核处理器成为主流计算机体系结构，然而，因为速度限制和精确度的不足，使用传统的方法对众核处理器进行模拟和仿真远远不能满足需求.使用FPG... 详细信息

由于硅技术在处理器工业发展对处理器工业的影响，为了满足当前对高性能和高吞吐率的需求，众核处理器成为主流计算机体系结构，然而，因为速度限制和精确度的不足，使用传统的方法对众核处理器进行模拟和仿真远远不能满足需求.使用FPGA原型验证能显著提高模拟的速度，但是设计的复杂度和验证难度也相应增加.本文提出一种Godson-T众核验证平台(Godson-Tverification Engine，GVE)，目的是对GodSon-T众核处理器的设计提供快速原型验证和调试机制.GVE使用了在同一个板卡上有6个Xilinx Virtex-5LX330 FPGA的硬件平台，因此能够将Godson-T众核处理器和外围设备全部映射到FPGA中.除硬件平台外，本文提出的工具链Godson-T Studio为众核验证工作提供编译器、程序加载器，调试器和监控器，同时，通过本文提出的新技术，即Check-point和ILA-Check解决精确度损失的问题.实际运行情况表明，GVE由于有很高运行速度和较为精准的调试功能，能够极大地缩短了验证周期，如可以在一个小时内完成几千个测试程序，而基于软件的方法却需要几天的时间才能执行完毕.基于以上特征，GVE为16结点的Godson-T众核处理器流片项目做出巨大贡献.

关键词： Godson-T众核结构快速原型调试平台

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2010年中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无界模型检验中融合电路信息的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操作系统

来源：评论

学校读者我要写书评

暂无评论

一种片上众核结构共享Cache动态隐式隔离机制研究

引用

计算机学报 2009年第10期32卷 1896-1904页

作者：宋风龙刘志勇范东睿张军超余磊中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100039

访存带宽是限制众核处理器性能提升的关键,将片上最后一级Cache设计为所有处理器核共享是必要的.在共享Cache中隔离放置冲突的数据,是提高共享Cache性能的关键.文中提出了缓存块链接的硬件方法,用于隔离共享Cache中不同线程之间的数据.... 详细信息

访存带宽是限制众核处理器性能提升的关键,将片上最后一级Cache设计为所有处理器核共享是必要的.在共享Cache中隔离放置冲突的数据,是提高共享Cache性能的关键.文中提出了缓存块链接的硬件方法,用于隔离共享Cache中不同线程之间的数据.文中基于时钟精准的片上众核结构模拟器,使用Splash2程序组和生物信息学中的任务,对所提机制进行了评估.实验结果表明,与传统共享Cache相比,使用缓存块链接机制时,使得共享Cache的冲突性缺失率降低约20%,而使得IPC平均提高了约10%.

关键词：众核共享Cache 数据冲突资源隔离容量划分

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：