基于PowerPC架构的通用处理器系统虚拟验证

发布时间：2019-04-17 17:47

【摘要】：基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛,与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统,构建软硬件协同工作的虚拟验证平台,开发验证模型和测试程序,并采用模块级到系统级的分层验证策略。验证结果表明,基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证,提高了验证效率,缩短了设计中的查错纠错时间,从而降低风险,加快设计、验证进度。
[Abstract]:......
【作者单位】： 中国航空计算技术研究所;集成电路与微系统设计航空科技重点试验室;
【基金】：中国航空工业集团创新基金(2010BD63111)
【分类号】：TP332

【相似文献】

相关期刊论文 前10条

1 John C.Dovrak;任王之;;Inside Track[J];个人电脑;1995年03期

2 Tom R.Halfhill ,丽辛;令人不可思议的PowerPC速度[J];中文信息;1998年06期

3 ;275-266=4%——PowerPC 750系统性能提升[J];每周电脑报;1998年03期

4 买培培;苏涛;张晓曦;;基于PowerPC的控制器研究与设计[J];舰船电子对抗;2009年05期

5 ;64位PowerPC即将批量生产[J];航空计算技术;1994年02期

6 ;PowerPC动态[J];西安电子科技大学学报;1994年S1期

7 孙会君;;AS/400e服务器重整 升级只需换芯[J];每周电脑报;1999年06期

8 亦夫;G3与Mach5.0[J];电脑;1998年05期

9 俞建新;PowerPC发展综述[J];工业控制计算机;2000年02期

10 ;国家信息技术紧缺人才培养工程——电子工程与集成电路技术培训项目之一“基于IBM PowerPC硬核和Xilinx MicroBlaze软核的嵌入式系统设计”培训正式启动[J];世界电子元器件;2007年12期

相关会议论文 前1条

1 初元萍;章红宇;赵京伟;叶梅;陶宁;朱科军;唐素秋;过雅南;;PowerPC对VME插件读出能力的评估[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年

相关重要报纸文章 前10条

1 张兵;PowerPC 7400芯片改变网络设备速度[N];中国计算机报;2002年

2 伊梅;Linux赶OS统一潮头[N];中国计算机报;2001年

3 唐川;苹果PowerPC G5 全球首款64位个人电脑[N];中国计算机报;2003年

4 ;Motorola发布新PowerPC芯片[N];计算机世界;2001年

5 ;摩托罗拉推出首款执行PowerPC指令集结构处理器[N];中国电子报;2002年

6 九日;落入凡间的精灵[N];中国计算机报;2001年

7 ;英文软件下载TOP10[N];中国电脑教育报;2005年

8 广西 沉睡者;领跑64位[N];电脑报;2003年

9 江苏 杨扬;非主流处理器大观（三）[N];电脑报;2004年

10 本报记者 王皓;服务器“芯”思路[N];计算机世界;2004年

相关博士学位论文 前1条

1 王仕明;基于PowerPC的高速图像存储系统技术研究[D];中国科学院研究生院（光电技术研究所）;2015年

相关硕士学位论文 前10条

1 孙铭泽;基于PowerPC SoC架构的高层次仿真平台设计[D];天津大学;2014年

2 秦娟;基于PowerPC7410的通用嵌入式计算机的设计和实现[D];上海交通大学;2008年

3 单朋;PowerPC嵌入式系统模拟器实现与优化[D];广西工学院;2011年

4 熊明霞;基于PowerPC的SOPC平台构建[D];中国科学院研究生院（电子学研究所）;2007年

5 叶咏辰;基于PowerPC处理器硬核的片上可编程系统应用的设计及验证[D];中国科学院研究生院（空间科学与应用研究中心）;2005年

6 代苏杰;基于PowerPC的片上可编程系统在信号分选与识别中的应用研究[D];西南交通大学;2006年

7 沈磊;基于PowerPC的1553B远程终端设计与集成[D];电子科技大学;2007年

8 卢世哲;基于PowerPC平台的BSP的设计与实现[D];电子科技大学;2012年

9 朱世林;基于PowerPC的FPU设计[D];哈尔滨工业大学;2008年

10 张中华;基于双PowerPC 7447A处理器的嵌入式系统硬件设计[D];上海交通大学;2008年

，

本文编号：2459657