本文關(guān)鍵詞：基于FPGA平臺的眾核處理器驗證系統(tǒng)研究與實現(xiàn)

  更多相關(guān)文章： 驗證系統(tǒng) FPGA 眾核處理器 X86 芯片設(shè)計

【摘要】：隨著以社交網(wǎng)絡(luò)、云計算和網(wǎng)絡(luò)多媒體為代表的新型網(wǎng)絡(luò)應(yīng)用的出現(xiàn),人們需要處理的數(shù)據(jù)量越來越大,眾核處理器的研究已經(jīng)成為各國爭相研究的新領(lǐng)域。伴隨國家提倡的芯片產(chǎn)業(yè)自主可控的需求和對國家安全方面的考慮,X86指令集架構(gòu)處理器的研究成為我國芯片領(lǐng)域亟需解決的難題,處理器功能驗證是開發(fā)過程中最為重要的一個環(huán)節(jié)。本文提出一種專門適用于X86架構(gòu)處理器芯片驗證的FPGA驗證系統(tǒng),相對于普通的FPGA驗證平臺,本設(shè)計具有與普通X86主板兼容協(xié)作的特性,同時采用了軟硬件協(xié)同驗證的新型設(shè)計方案。不僅為X86指令集的核心代碼研究提供了高效的驗證載體,而且為X86架構(gòu)的眾核處理器互連結(jié)構(gòu)的研究奠定了基礎(chǔ)。本文旨在完成一套專用于X86架構(gòu)眾核處理器研究的驗證系統(tǒng),本文完成的主要工作包括：(1)研究FPGA驗證平臺設(shè)計技術(shù),制定整套驗證平臺設(shè)計方案。(2)實現(xiàn)專用于X86指令集處理器的FPGA驗證系統(tǒng)硬件設(shè)計。(3)提出新型軟硬件協(xié)同驗證方案,設(shè)計與硬件系統(tǒng)配套的軟件。(4)實現(xiàn)對X86指令集眾核處理器Mesh網(wǎng)絡(luò)結(jié)構(gòu)的驗證,分析驗證結(jié)果。本文的驗證系統(tǒng)具有專用性、高效性、可靠性的特點,同時本文研究設(shè)計成果有助于提高國內(nèi)芯片設(shè)計質(zhì)量和發(fā)展速度,尤其完成了對X86指令集眾核結(jié)構(gòu)的驗證,彌補了國內(nèi)對X86指令集深入研究的欠缺,符合國家提出的芯片產(chǎn)業(yè)自主可控方針政策。
【學(xué)位授予單位】：中國科學(xué)院大學(xué)(工程管理與信息技術(shù)學(xué)院)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP332

【相似文獻】

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

1 胡正國;章晉義;吳健;;一個機械化驗證系統(tǒng)的研討[J];西北工業(yè)大學(xué)學(xué)報;1986年03期

2 呂香芝;盧海軍;葉劍超;;自動計費驗證系統(tǒng)的研究[J];中國高新技術(shù)企業(yè);2008年19期

3 主金武;;高速公路綠通車輛驗證系統(tǒng)解決方案和應(yīng)用[J];中國交通信息化;2014年05期

4 ;泰克推出基于文件的數(shù)字視頻內(nèi)容驗證系統(tǒng)[J];電子產(chǎn)品世界;2006年12期

5 高祺,蔣昌俊;并發(fā)驗證系統(tǒng)中操作向?qū)У脑O(shè)計與實現(xiàn)[J];計算機工程;2001年09期

6 劉涵;郭吉豐;羅浩;張千護;沈洪;胡家成;姚仲甫;;伽瑪?shù)秳┝繄鰷y量分析及驗證系統(tǒng)的設(shè)計和研究[J];中國醫(yī)療器械雜志;2005年06期

7 湯亞鋒;楊慶;曾國強;;微型航天器近旁操作地面仿真驗證系統(tǒng)[J];系統(tǒng)仿真學(xué)報;2009年08期

8 田衛(wèi)忠;辛小龍;;基于伴隨式譯碼的口令驗證系統(tǒng)[J];計算機工程與應(yīng)用;2009年25期

9 高峻,劉瀟;IPOA組包功能的驗證系統(tǒng)[J];電子工程師;2004年01期

10 閔益峰;;虛擬車輛電子控制模塊標定及驗證系統(tǒng)[J];控制工程;2011年S1期

中國重要會議論文全文數(shù)據(jù)庫 前5條

1 湯放鳴;李洪敏;張廣法;;口令驗證系統(tǒng)評價準則分析[A];第十八次全國計算機安全學(xué)術(shù)交流會論文集[C];2003年

2 焦洋;董遠;董乘宇;王海拉;;基于子詞加權(quán)得分的言語信息驗證系統(tǒng)[A];第九屆全國人機語音通訊學(xué)術(shù)會議論文集[C];2007年

3 田清源;;HSK網(wǎng)上成績報告和證書驗證系統(tǒng)的研發(fā)[A];全國教育與心理統(tǒng)計測量學(xué)術(shù)年會論文摘要集[C];2006年

4 孟賓;歐國東;柏穎;胡慧俐;;一種基于FPGA原型驗證系統(tǒng)的性能優(yōu)化方法[A];第十六屆計算機工程與工藝年會暨第二屆微處理器技術(shù)論壇論文集[C];2012年

5 舒曉芬;王曉峰;余鵬;;某BIT測試性指標驗證系統(tǒng)的研究與實現(xiàn)[A];第六屆全國信息獲取與處理學(xué)術(shù)會議論文集（1）[C];2008年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 邱曉威;電子檔案驗證系統(tǒng)通過鑒定[N];中國檔案報;2003年

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

1 周麗娜;多片F(xiàn)PGA原型驗證系統(tǒng)上的設(shè)計分割與管腳復(fù)用[D];復(fù)旦大學(xué);2013年

2 孫卉;基于C Model的51UVM驗證系統(tǒng)的設(shè)計與實現(xiàn)[D];北京郵電大學(xué);2015年

3 藍曉萍;激光大足印高速回波信息數(shù)字化提取與驗證技術(shù)[D];中國科學(xué)院研究生院(上海技術(shù)物理研究所);2015年

4 馬艷新;基于FPGA平臺的眾核處理器驗證系統(tǒng)研究與實現(xiàn)[D];中國科學(xué)院大學(xué)(工程管理與信息技術(shù)學(xué)院);2016年

5 姜雪;漁船動態(tài)監(jiān)控查詢驗證系統(tǒng)的設(shè)計[D];大連海事大學(xué);2012年

6 謝公義;蒙牛乳業(yè)到貨驗證系統(tǒng)的分析與設(shè)計[D];北京郵電大學(xué);2011年

7 崔浩林;SoC驗證系統(tǒng)的設(shè)計[D];哈爾濱工業(yè)大學(xué);2009年

8 朱建榮;Valprobe無線溫度驗證系統(tǒng)的測量結(jié)果不確定度研究[D];南京理工大學(xué);2008年

9 焦健;FC-AE-1553仿真驗證系統(tǒng)設(shè)計[D];哈爾濱工業(yè)大學(xué);2012年

10 柏顯;權(quán)利描述語言的學(xué)習(xí)研究及其驗證系統(tǒng)的實現(xiàn)[D];華中科技大學(xué);2005年

，

本文編號：1242871