HyperTransport及其验证

来源 :全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 | 被引量 : 0次 | 上传用户:echoofstar
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
HyperTransport是一种新的高性能的I/O体系结构,与现有的总线结构相比,它具有高带宽、低延迟的优点,有助于简化系统设计,增加I/O灵活性.本文首先介绍了HyperTransport的拓扑结构及其关键技术—I/O定序规则和流控机制,然后以HyperTransport Host Bridge的验证为例,针对HyperTransport技术的特点,设计了一个基于应用的HyperTransport验证方法,该方法采用模拟和形式化验证相结合,实现自底向上的全方位验证.
其他文献
在非编程的、可视化的VRML三维场景生成工具中加入交互式、易生成的描述运动的手段,可以丰富场景的动态表现能力.介绍了用户非编程的创建运动路径的思想和实现方法,用于"案件现场三维再现系统"中,可以在场景中增加对案件的描述.
本文结合对NMD系统的导弹攻防仿真系统应用需要,设计并实现了基于HLA的导弹攻防视景仿真系统.并对视景仿真系统中的图形图像可视化,多线程管理,框架与应用分开,时空一致性等关键技术做了详细介绍.
在分析复杂结构产品设计的特点和简要介绍Multi-Agent技术的基础上,提出复杂结构产品设计MAS(Multi-Agent System)模型.保证了设计数据的协调一致性和完整性,很好地支持了产品的改进设计和变形设计以及异构环境下的协同设计.
本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM.虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的难度;基于FITM模型的协同仿真对仿真的精确性和速度进行折衷,可有效解决系统级仿真不够精确和RTL级仿真速度慢的问题,所得到的仿真结
本文研究利用GIS组件MapX开发铁路地理信息系统,介绍了系统需求、GIS系统开发流程和系统设计方案,对系统实现过程中出现的几个关键问题及解决办法进行了探讨.
本文首先对集成电路的功耗来源进行了简要分析,然后介绍了基于EPIC结构微处理器的微体系结构特性,并针对这些特点,提出了两种系统级功耗优化方法.
在高层次对系统进行功耗估算和功耗优化是SOC设计的关键技术.本文首先给出SOC设计的特点和流程,然后综述目前高层次功耗估算和功耗优化的常用方法和技术,重点论述寄存器传输级和行为级的功耗估算技术、系统级和行为级的功耗优化技术.
虚拟现实环境下直接使用VRML建立机械单元的模型比较困难,如果使用3D软件建模,利用3D软件与VRML接口进行格式转换,可以准确快速的建立机械单元的虚拟现实模型.以Solid Edge到VRML2.0支持的.wrk格式的转换为例,研究了3D软件到虚拟现实编程环境VAGA的优化预处理算法,主要包括编译原理中的词法分析、语法分析、预处理器算法和三角网格优化中的边收缩算法.算法保持了模型良好的视觉效果,
模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位.
本文提出了基于OpenGL技术的地矿工程三维集成可视化系统,描述了系统的主要功能,并对系统进行了设计.对该系统中OpenGL应用的关键技术进行了研究,包括环境设置、巷道造型、矿体绘制和集成显示等,并指出了有关研究工作的发展方向.