高性能微处理器浮点运算部件的功能验证

来源 :2004年全国计算机体系结构学术会议 | 被引量 : 0次 | 上传用户:sxkcykart
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了微处理器基于模拟的功能验证的理论和一般方法以及一种高性能微处理器浮点运算部件的基于模拟的功能验证环境,该环境包括伪随机的浮点运算指令生成器、部分兼容IEEE754浮点运算标准的软件参考模型、功能覆盖率检查器等.其中,浮点运算指令生成器使用E语言(IEEEp1647)编写,并按微结构的特点对浮点部件庞大的测试空间进行划分,确保了测试所用数据的典型性.
其他文献
本文首先论述了与作业管理系统有关的概念、作业的调度策略和作业管理系统的目标.其次,设计了基于集群技术的作业管理系统模型,针对此模型说明了作业执行期间所采用相关调度
为了降低并行编程的复杂性,本文提出了一个基于工作池的程序并行化模型,然后描述了如何实现该模型,以及将它开发成一个并行化平台所用的技术.该并行化系统(Metaparallel)在用
从上层用户即编程用户的角度提出一种低成本平衡策略.通过分析DCOM的实现架构,分析DCOM暴露给程序人员的接口,提出了基于组件代理服务器的方案,并对它的性能与成本进行了分析
使用并行计算系统来进行中继电路网的仿真.首先介绍了仿真模型,然后提出了仿真方案,研究了中继电路网中的并行划分问题、通信的设计问题、任务粒度分析和任务分配与调度等问
近来虚拟样机尤其是面向多领域复杂系统的协同式虚拟样机的研究已成为研发的热点.通过对Agent技术和WEB服务技术以及虚拟样机仿真系统进行研究,提出了一种面向多领域的复杂产
在网络存储环境下,分布式cache的管理策略具有新的特性,同时也带来新的问题.利用网络存储的高带宽和高可用性,将远程计算机中的内存统一成系统的存储cache,可以有效地降低响
本文根据星载SAR成像算法--CS(ChirpScaling)算法的原理,提出一种适于该算法的体系结构.该体系结构由4个模块组成:一个模块为4片并行的处理单元,用来完成FFT(IFFT)运算和与CS
会议
负载平衡是集群性能提高的关键,本文论述了集群作为服务器的负载策略,提出了一种自适应的负载均衡策略,对以往策略进行了对比.并利用分包路由的连接方式,减小了网络负担.
作为研制星载合成孔径雷达(SyntheticApertureRadar,SAR)实时信号处理片上系统的重要部分,本文分析了时域多普勒中心频率估计子的VLSI(VeryLargeScaleIntegration)结构,提出
访存延迟是现代高性能微处理器的主要停顿原因,多处理器系统对于存储系统的要求更加苛刻,总线系统作为存储部件的重要组成部分,其性能直接影响着整机的高速工作特性.本文详细