论文部分内容阅读
本文介绍了基于参考模型和基于参考机的模拟验证方法,探讨了这两种验证方法对高性能CPU设计的正确性和兼容性验证的有效性.
高性能CPU的模拟验证
【摘 要】
：
本文介绍了基于参考模型和基于参考机的模拟验证方法,探讨了这两种验证方法对高性能CPU设计的正确性和兼容性验证的有效性.
【机 构】
：
国防科学技术大学计算机学院,长沙,410073
【出 处】
：
2004年全国计算机体系结构学术会议
【发表日期】
：
2004年8期
其他文献
为了降低并行编程的复杂性,本文提出了一个基于工作池的程序并行化模型,然后描述了如何实现该模型,以及将它开发成一个并行化平台所用的技术.该并行化系统(Metaparallel)在用
从上层用户即编程用户的角度提出一种低成本平衡策略.通过分析DCOM的实现架构,分析DCOM暴露给程序人员的接口,提出了基于组件代理服务器的方案,并对它的性能与成本进行了分析
使用并行计算系统来进行中继电路网的仿真.首先介绍了仿真模型,然后提出了仿真方案,研究了中继电路网中的并行划分问题、通信的设计问题、任务粒度分析和任务分配与调度等问
近来虚拟样机尤其是面向多领域复杂系统的协同式虚拟样机的研究已成为研发的热点.通过对Agent技术和WEB服务技术以及虚拟样机仿真系统进行研究,提出了一种面向多领域的复杂产
在网络存储环境下,分布式cache的管理策略具有新的特性,同时也带来新的问题.利用网络存储的高带宽和高可用性,将远程计算机中的内存统一成系统的存储cache,可以有效地降低响
本文根据星载SAR成像算法--CS(ChirpScaling)算法的原理,提出一种适于该算法的体系结构.该体系结构由4个模块组成:一个模块为4片并行的处理单元,用来完成FFT(IFFT)运算和与CS
会议
负载平衡是集群性能提高的关键,本文论述了集群作为服务器的负载策略,提出了一种自适应的负载均衡策略,对以往策略进行了对比.并利用分包路由的连接方式,减小了网络负担.
作为研制星载合成孔径雷达(SyntheticApertureRadar,SAR)实时信号处理片上系统的重要部分,本文分析了时域多普勒中心频率估计子的VLSI(VeryLargeScaleIntegration)结构,提出
访存延迟是现代高性能微处理器的主要停顿原因,多处理器系统对于存储系统的要求更加苛刻,总线系统作为存储部件的重要组成部分,其性能直接影响着整机的高速工作特性.本文详细
介绍了微处理器基于模拟的功能验证的理论和一般方法以及一种高性能微处理器浮点运算部件的基于模拟的功能验证环境,该环境包括伪随机的浮点运算指令生成器、部分兼容IEEE754
会议