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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1242871