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

【相似文獻(xiàn)】

相關(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];西安電子科技大學(xué)學(xué)報;1994年S1期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2459657