發(fā)布時間：2019-04-17 17:47

【摘要】：基于PowerPC架構(gòu)通用處理器系統(tǒng)在全球軍用/宇航微處理器等長壽命、高可靠領(lǐng)域應(yīng)用非常廣泛,與此同時其規(guī)模和復雜度之大給設(shè)計和驗證帶來了巨大挑戰(zhàn)。文中基于一款PowerPC架構(gòu)的通用處理器系統(tǒng),構(gòu)建軟硬件協(xié)同工作的虛擬驗證平臺,開發(fā)驗證模型和測試程序,并采用模塊級到系統(tǒng)級的分層驗證策略。驗證結(jié)果表明,基于PowerPC架構(gòu)通用處理器系統(tǒng)虛擬驗證能夠有效地進行系統(tǒng)的功能和性能驗證,提高了驗證效率,縮短了設(shè)計中的查錯糾錯時間,從而降低風險,加快設(shè)計、驗證進度。
[Abstract]:......
【作者單位】： 中國航空計算技術(shù)研究所;集成電路與微系統(tǒng)設(shè)計航空科技重點試驗室;
【基金】：中國航空工業(yè)集團創(chuàng)新基金(2010BD63111)
【分類號】：TP332

【相似文獻】

相關(guān)期刊論文 前10條

1 John C.Dovrak;任王之;;Inside Track[J];個人電腦;1995年03期

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

3 ;275-266=4%——PowerPC 750系統(tǒng)性能提升[J];每周電腦報;1998年03期

4 買培培;蘇濤;張曉曦;;基于PowerPC的控制器研究與設(shè)計[J];艦船電子對抗;2009年05期

5 ;64位PowerPC即將批量生產(chǎn)[J];航空計算技術(shù);1994年02期

6 ;PowerPC動態(tài)[J];西安電子科技大學學報;1994年S1期

7 孫會君;;AS/400e服務(wù)器重整 升級只需換芯[J];每周電腦報;1999年06期

8 亦夫;G3與Mach5.0[J];電腦;1998年05期

9 俞建新;PowerPC發(fā)展綜述[J];工業(yè)控制計算機;2000年02期

10 ;國家信息技術(shù)緊缺人才培養(yǎng)工程——電子工程與集成電路技術(shù)培訓項目之一“基于IBM PowerPC硬核和Xilinx MicroBlaze軟核的嵌入式系統(tǒng)設(shè)計”培訓正式啟動[J];世界電子元器件;2007年12期

相關(guān)會議論文 前1條

1 初元萍;章紅宇;趙京偉;葉梅;陶寧;朱科軍;唐素秋;過雅南;;PowerPC對VME插件讀出能力的評估[A];第11屆全國計算機在現(xiàn)代科學技術(shù)領(lǐng)域應(yīng)用學術(shù)會議論文集[C];2003年

相關(guān)重要報紙文章 前10條

1 張兵;PowerPC 7400芯片改變網(wǎng)絡(luò)設(shè)備速度[N];中國計算機報;2002年

2 伊梅;Linux趕OS統(tǒng)一潮頭[N];中國計算機報;2001年

3 唐川;蘋果PowerPC G5 全球首款64位個人電腦[N];中國計算機報;2003年

4 ;Motorola發(fā)布新PowerPC芯片[N];計算機世界;2001年

5 ;摩托羅拉推出首款執(zhí)行PowerPC指令集結(jié)構(gòu)處理器[N];中國電子報;2002年

6 九日;落入凡間的精靈[N];中國計算機報;2001年

7 ;英文軟件下載TOP10[N];中國電腦教育報;2005年

8 廣西 沉睡者;領(lǐng)跑64位[N];電腦報;2003年

9 江蘇 楊揚;非主流處理器大觀（三）[N];電腦報;2004年

10 本報記者 王皓;服務(wù)器“芯”思路[N];計算機世界;2004年

相關(guān)博士學位論文 前1條

1 王仕明;基于PowerPC的高速圖像存儲系統(tǒng)技術(shù)研究[D];中國科學院研究生院（光電技術(shù)研究所）;2015年

相關(guān)碩士學位論文 前10條

1 孫銘澤;基于PowerPC SoC架構(gòu)的高層次仿真平臺設(shè)計[D];天津大學;2014年

2 秦娟;基于PowerPC7410的通用嵌入式計算機的設(shè)計和實現(xiàn)[D];上海交通大學;2008年

3 單朋;PowerPC嵌入式系統(tǒng)模擬器實現(xiàn)與優(yōu)化[D];廣西工學院;2011年

4 熊明霞;基于PowerPC的SOPC平臺構(gòu)建[D];中國科學院研究生院（電子學研究所）;2007年

5 葉詠辰;基于PowerPC處理器硬核的片上可編程系統(tǒng)應(yīng)用的設(shè)計及驗證[D];中國科學院研究生院（空間科學與應(yīng)用研究中心）;2005年

6 代蘇杰;基于PowerPC的片上可編程系統(tǒng)在信號分選與識別中的應(yīng)用研究[D];西南交通大學;2006年

7 沈磊;基于PowerPC的1553B遠程終端設(shè)計與集成[D];電子科技大學;2007年

8 盧世哲;基于PowerPC平臺的BSP的設(shè)計與實現(xiàn)[D];電子科技大學;2012年

9 朱世林;基于PowerPC的FPU設(shè)計[D];哈爾濱工業(yè)大學;2008年

10 張中華;基于雙PowerPC 7447A處理器的嵌入式系統(tǒng)硬件設(shè)計[D];上海交通大學;2008年

，

本文編號：2459657