本文關(guān)鍵詞：基于軟件和邏輯聯(lián)合仿真的SOPC驗證技術(shù)研究

  更多相關(guān)文章： SOPC測試驗證 SOPC仿真技術(shù) CPU內(nèi)核驗證 仿真環(huán)境 軟件和邏輯聯(lián)合驗證

【摘要】：針對航天高可靠SOPC測試驗證重要性,對SOPC仿真技術(shù)進行深入剖析研究,提煉出了一套切實可行的SOPC仿真技術(shù).闡明了SOPC仿真技術(shù)的具體實現(xiàn)方法,分析了SOPC的具體驗證方法,并把這套仿真驗證技術(shù)成功地應(yīng)用到了多個航天高可靠SOPC的測試中,發(fā)現(xiàn)了很多引起功能失效的重大問題,并對其中常見的問題給予歸類總結(jié).
【作者單位】： 中國科學(xué)院空間應(yīng)用工程與技術(shù)中心;
【關(guān)鍵詞】： SOPC測試驗證 SOPC仿真技術(shù) CPU內(nèi)核驗證 仿真環(huán)境 軟件和邏輯聯(lián)合驗證
【基金】：國家重大專項(Y214010RN)
【分類號】：V446;TP391.9
【正文快照】： 1引言SOPC(可編程片上系統(tǒng))技術(shù)是SOC(片上系統(tǒng))和FPGA(可編程邏輯)技術(shù)結(jié)合的產(chǎn)物,它是將處理器、存儲器、I/O接口、422協(xié)議接口等系統(tǒng)設(shè)計需要的元素集成在一個可編程器件中,具備可裁剪、可升級、可擴充、軟硬件可編程等優(yōu)點[1-2].基于上述特點,SOPC在空間應(yīng)用環(huán)境中的運用

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 魏子杰;許軍;張磊;杜康;;基于SOPC的電力電子器件實時仿真系統(tǒng)設(shè)計[J];電測與儀表;2012年11期

2 劉景寧;舒芳;童薇;張宇;;SoPC光纖通道控制器IP核的仿真驗證[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2008年10期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前4條

1 姚鳳振;基于SOPC技術(shù)的水聲通信半物理仿真平臺設(shè)計與實現(xiàn)[D];中國海洋大學(xué);2013年

2 陳葉富;集成處理器仿真平臺SOPC系統(tǒng)可測性方法研究[D];哈爾濱工業(yè)大學(xué);2011年

3 沈浩;基于SOPC的短波OFDM通信系統(tǒng)仿真平臺的研究[D];武漢工程大學(xué);2011年

4 姚雙武;基于SOPC的集成處理器仿真平臺研制[D];哈爾濱工業(yè)大學(xué);2010年

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 周珊;王金波;;基于軟件和邏輯聯(lián)合仿真的SOPC驗證技術(shù)研究[J];微電子學(xué)與計算機;2016年06期

2 屠曉杰;熊華鋼;徐鼎;周一偉;;支持多種FC-4層協(xié)議的光纖通道接口卡實現(xiàn)[J];電訊技術(shù);2013年02期

3 李佳妮;汪健甄;周擁軍;丁凡;;FC-AE-FCLP網(wǎng)絡(luò)建模與仿真研究[J];電光與控制;2010年11期

4 郭志君;路永濤;;光纖通道鏈路層IP核的硬件設(shè)計[J];光通信技術(shù);2010年07期

5 楊王君;曹陽;王敏;馬秦生;;事務(wù)級隨機測試功能驗證方法[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2010年01期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前7條

1 奚嘉琦;基于SOPC的步進電機驅(qū)動控制系統(tǒng)設(shè)計[D];杭州電子科技大學(xué);2015年

2 張斌益;水聲通信海測平臺的設(shè)計與實現(xiàn)[D];廈門大學(xué);2014年

3 姜月明;IP核可測性設(shè)計中掃描鏈插入與測試封裝加載研究[D];哈爾濱理工大學(xué);2014年

4 何永福;基于FPGA的軌道幾何狀態(tài)檢測系統(tǒng)研究與設(shè)計[D];中南大學(xué);2013年

5 楊藝勇;基于SOPC技術(shù)的編碼器檢測裝置研究與實現(xiàn)[D];華中科技大學(xué);2013年

6 陳宇賢;基于多通道的實時視頻傳輸關(guān)鍵技術(shù)研究[D];哈爾濱工程大學(xué);2012年

7 陳葉富;集成處理器仿真平臺SOPC系統(tǒng)可測性方法研究[D];哈爾濱工業(yè)大學(xué);2011年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前4條

1 汪書林;周宇飛;陳軍寧;;開關(guān)切換非線性系統(tǒng)的同步方法研究[J];電測與儀表;2011年04期

2 毛鵬;謝少軍;許澤剛;;IGBT模塊的開關(guān)暫態(tài)模型及損耗分析[J];中國電機工程學(xué)報;2010年15期

3 郅銀周;張彥軍;洪應(yīng)平;;基于FPGA的脈沖變換器測試系統(tǒng)設(shè)計[J];電測與儀表;2010年05期

4 王芳;柴紅剛;童薇;;基于FPGA的光纖通道適配器研究[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2008年01期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李坤;基于Turbo碼的水聲信道編譯碼技術(shù)研究及其FPGA實現(xiàn)[D];中國海洋大學(xué);2011年

2 許麗麗;水聲通信半物理仿真平臺的設(shè)計與實現(xiàn)[D];中國海洋大學(xué);2011年

3 何輝;基于OFDM的水聲語音通信系統(tǒng)的設(shè)計[D];哈爾濱工程大學(xué);2011年

4 姚雙武;基于SOPC的集成處理器仿真平臺研制[D];哈爾濱工業(yè)大學(xué);2010年

5 郭志強;水聲通信算法半物理仿真平臺的設(shè)計與開發(fā)[D];中國海洋大學(xué);2010年

6 周俊杰;新型抽油機用復(fù)合式永磁電機及其驅(qū)動系統(tǒng)與檢測系統(tǒng)的研究[D];浙江大學(xué);2010年

7 羅杰俊;基于Nios II的SOPC應(yīng)用技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2009年

8 李可非;水聲無線傳感器網(wǎng)絡(luò)節(jié)點的設(shè)計與開發(fā)[D];中國海洋大學(xué);2009年

9 徐海濤;基于SOPC的軟硬件劃分算法研究[D];哈爾濱理工大學(xué);2009年

10 彭雪峰;基于SOPC的嵌入式導(dǎo)航計算機設(shè)計[D];哈爾濱工程大學(xué);2009年

，

本文編號：595994