基于軟件和邏輯聯(lián)合仿真的SOPC驗證技術研究
本文關鍵詞:基于軟件和邏輯聯(lián)合仿真的SOPC驗證技術研究
更多相關文章: SOPC測試驗證 SOPC仿真技術 CPU內核驗證 仿真環(huán)境 軟件和邏輯聯(lián)合驗證
【摘要】:針對航天高可靠SOPC測試驗證重要性,對SOPC仿真技術進行深入剖析研究,提煉出了一套切實可行的SOPC仿真技術.闡明了SOPC仿真技術的具體實現(xiàn)方法,分析了SOPC的具體驗證方法,并把這套仿真驗證技術成功地應用到了多個航天高可靠SOPC的測試中,發(fā)現(xiàn)了很多引起功能失效的重大問題,并對其中常見的問題給予歸類總結.
【作者單位】: 中國科學院空間應用工程與技術中心;
【關鍵詞】: SOPC測試驗證 SOPC仿真技術 CPU內核驗證 仿真環(huán)境 軟件和邏輯聯(lián)合驗證
【基金】:國家重大專項(Y214010RN)
【分類號】:V446;TP391.9
【正文快照】: 1引言SOPC(可編程片上系統(tǒng))技術是SOC(片上系統(tǒng))和FPGA(可編程邏輯)技術結合的產(chǎn)物,它是將處理器、存儲器、I/O接口、422協(xié)議接口等系統(tǒng)設計需要的元素集成在一個可編程器件中,具備可裁剪、可升級、可擴充、軟硬件可編程等優(yōu)點[1-2].基于上述特點,SOPC在空間應用環(huán)境中的運用
【參考文獻】
中國期刊全文數(shù)據(jù)庫 前2條
1 魏子杰;許軍;張磊;杜康;;基于SOPC的電力電子器件實時仿真系統(tǒng)設計[J];電測與儀表;2012年11期
2 劉景寧;舒芳;童薇;張宇;;SoPC光纖通道控制器IP核的仿真驗證[J];華中科技大學學報(自然科學版);2008年10期
中國碩士學位論文全文數(shù)據(jù)庫 前4條
1 姚鳳振;基于SOPC技術的水聲通信半物理仿真平臺設計與實現(xiàn)[D];中國海洋大學;2013年
2 陳葉富;集成處理器仿真平臺SOPC系統(tǒng)可測性方法研究[D];哈爾濱工業(yè)大學;2011年
3 沈浩;基于SOPC的短波OFDM通信系統(tǒng)仿真平臺的研究[D];武漢工程大學;2011年
4 姚雙武;基于SOPC的集成處理器仿真平臺研制[D];哈爾濱工業(yè)大學;2010年
【共引文獻】
中國期刊全文數(shù)據(jù)庫 前5條
1 周珊;王金波;;基于軟件和邏輯聯(lián)合仿真的SOPC驗證技術研究[J];微電子學與計算機;2016年06期
2 屠曉杰;熊華鋼;徐鼎;周一偉;;支持多種FC-4層協(xié)議的光纖通道接口卡實現(xiàn)[J];電訊技術;2013年02期
3 李佳妮;汪健甄;周擁軍;丁凡;;FC-AE-FCLP網(wǎng)絡建模與仿真研究[J];電光與控制;2010年11期
4 郭志君;路永濤;;光纖通道鏈路層IP核的硬件設計[J];光通信技術;2010年07期
5 楊王君;曹陽;王敏;馬秦生;;事務級隨機測試功能驗證方法[J];華中科技大學學報(自然科學版);2010年01期
中國碩士學位論文全文數(shù)據(jù)庫 前7條
1 奚嘉琦;基于SOPC的步進電機驅動控制系統(tǒng)設計[D];杭州電子科技大學;2015年
2 張斌益;水聲通信海測平臺的設計與實現(xiàn)[D];廈門大學;2014年
3 姜月明;IP核可測性設計中掃描鏈插入與測試封裝加載研究[D];哈爾濱理工大學;2014年
4 何永福;基于FPGA的軌道幾何狀態(tài)檢測系統(tǒng)研究與設計[D];中南大學;2013年
5 楊藝勇;基于SOPC技術的編碼器檢測裝置研究與實現(xiàn)[D];華中科技大學;2013年
6 陳宇賢;基于多通道的實時視頻傳輸關鍵技術研究[D];哈爾濱工程大學;2012年
7 陳葉富;集成處理器仿真平臺SOPC系統(tǒng)可測性方法研究[D];哈爾濱工業(yè)大學;2011年
【二級參考文獻】
中國期刊全文數(shù)據(jù)庫 前4條
1 汪書林;周宇飛;陳軍寧;;開關切換非線性系統(tǒng)的同步方法研究[J];電測與儀表;2011年04期
2 毛鵬;謝少軍;許澤剛;;IGBT模塊的開關暫態(tài)模型及損耗分析[J];中國電機工程學報;2010年15期
3 郅銀周;張彥軍;洪應平;;基于FPGA的脈沖變換器測試系統(tǒng)設計[J];電測與儀表;2010年05期
4 王芳;柴紅剛;童薇;;基于FPGA的光纖通道適配器研究[J];華中科技大學學報(自然科學版);2008年01期
中國碩士學位論文全文數(shù)據(jù)庫 前10條
1 李坤;基于Turbo碼的水聲信道編譯碼技術研究及其FPGA實現(xiàn)[D];中國海洋大學;2011年
2 許麗麗;水聲通信半物理仿真平臺的設計與實現(xiàn)[D];中國海洋大學;2011年
3 何輝;基于OFDM的水聲語音通信系統(tǒng)的設計[D];哈爾濱工程大學;2011年
4 姚雙武;基于SOPC的集成處理器仿真平臺研制[D];哈爾濱工業(yè)大學;2010年
5 郭志強;水聲通信算法半物理仿真平臺的設計與開發(fā)[D];中國海洋大學;2010年
6 周俊杰;新型抽油機用復合式永磁電機及其驅動系統(tǒng)與檢測系統(tǒng)的研究[D];浙江大學;2010年
7 羅杰俊;基于Nios II的SOPC應用技術研究[D];哈爾濱工業(yè)大學;2009年
8 李可非;水聲無線傳感器網(wǎng)絡節(jié)點的設計與開發(fā)[D];中國海洋大學;2009年
9 徐海濤;基于SOPC的軟硬件劃分算法研究[D];哈爾濱理工大學;2009年
10 彭雪峰;基于SOPC的嵌入式導航計算機設計[D];哈爾濱工程大學;2009年
,本文編號:595994
本文鏈接:http://sikaile.net/kejilunwen/hangkongsky/595994.html