本文選題：FPGA原型驗證 + FPGA分片　； 參考：《計算機(jī)研究與發(fā)展》2014年06期

【摘要】：高性能處理器設(shè)計日趨復(fù)雜,為了縮短驗證周期,降低研制風(fēng)險通常需要在流片之前進(jìn)行基于現(xiàn)場可編程門陣列(field programmable gate-array,FPGA)原型驗證平臺的軟硬件協(xié)同驗證.隨著處理器多核化的發(fā)展,FPGA原型驗證平臺的實現(xiàn)變得越來越具有挑戰(zhàn)性.介紹了一款高性能多核微處理器FPGA驗證平臺的設(shè)計與實現(xiàn)方法,詳細(xì)闡述了該FPGA驗證平臺采用的母板/子板總體架構(gòu)、分片策略、時分復(fù)用實現(xiàn)技術(shù)及I/O接口實現(xiàn)方法.該平臺具有良好的可擴(kuò)展性,能夠方便靈活地實現(xiàn)目標(biāo)芯片在各種規(guī)模和配置下的FPGA驗證,用于在流片前對目標(biāo)芯片進(jìn)行功能正確性驗證和性能評估.經(jīng)過該FPGA平臺驗證的目標(biāo)芯片,首次流片返回的芯片能成功運行操作系統(tǒng)和各種應(yīng)用程序,實現(xiàn)了一次流片成功的目標(biāo).最后對該FPGA驗證平臺的應(yīng)用前景進(jìn)行了分析總結(jié).
[Abstract]:The design of high performance processors is becoming more and more complex. In order to shorten the verification period and reduce the development risk, the hardware and software co-verification based on the field programmable gate-array FPGA prototype verification platform is usually needed before the flow sheet. With the development of processor multicore, the implementation of FPGA prototype verification platform becomes more and more challenging. This paper introduces the design and implementation of a high performance multi-core microprocessor FPGA verification platform. The master board / sub-board architecture, slicing strategy, time division multiplexing (TDM) and I / O interface implementation of the FPGA verification platform are described in detail. The platform has good expansibility and can easily and flexibly implement the FPGA verification of the target chip under various scales and configurations. It can be used to verify the functional correctness and evaluate the performance of the target chip before streaming chip. The target chip verified by the FPGA platform, the chip returned for the first time can run the operating system and all kinds of applications successfully, and achieve the goal of a single stream chip successfully. Finally, the application prospect of the FPGA verification platform is analyzed and summarized.
【作者單位】： 上海高性能集成電路設(shè)計中心;
【基金】：“核高基”國家科技重大專項基金項目(2009ZX01028-002-001)
【分類號】：TP332

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 張珩;沈海華;;龍芯2號微處理器的功能驗證[J];計算機(jī)研究與發(fā)展;2006年06期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 虞致國;黃召軍;陳子逢;萬書芹;魏斌;;基于FPGA的無線傳感器網(wǎng)絡(luò)SoC驗證平臺設(shè)計[J];電子與封裝;2010年11期

2 周密;尚利宏;金惠華;;一種可配置的EDA仿真驗證方法[J];電子器件;2007年05期

3 周宏偉;鄧讓鈺;李永進(jìn);晏小波;竇強(qiáng);;多核處理器驗證中存儲數(shù)據(jù)錯誤快速定位機(jī)制[J];國防科技大學(xué)學(xué)報;2012年06期

4 龔令侃;王玉艷;章建雄;;基于驗證庫的微處理器指令集驗證方法[J];計算機(jī)工程;2009年03期

5 李智;周大鈞;龔令侃;;微處理器存儲管理單元的功能驗證方法[J];計算機(jī)工程;2010年15期

6 馬竹青;章建雄;王玉艷;;基于約束求解的微處理器功能驗證程序生成[J];計算機(jī)工程;2011年18期

7 劉濤;王凱;李曉民;安學(xué)軍;;曙光5000芯片組系統(tǒng)級功能驗證平臺[J];計算機(jī)工程與科學(xué);2009年11期

8 李智廣;章建雄;王玉艷;;基于覆蓋率的微處理器運算單元驗證技術(shù)[J];計算機(jī)工程;2012年13期

9 王俊;方燕飛;李岱峰;鄭巖;;大規(guī)模芯片測試系統(tǒng)的研究與實現(xiàn)[J];計算機(jī)工程;2012年16期

10 羅莉;何鴻君;竇強(qiáng);徐煒遐;;覆蓋率驅(qū)動的芯片功能驗證設(shè)計與實現(xiàn)[J];計算機(jī)工程與科學(xué);2013年01期

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

1 姚全珠;基于構(gòu)件的軟件形式化開發(fā)方法研究與應(yīng)用[D];西安理工大學(xué);2008年

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

1 王芳;基于VMM覆蓋率導(dǎo)向驗證方法的研究和應(yīng)用[D];哈爾濱工程大學(xué);2011年

2 張智鈞;多功能車輛總線控制器MVBC綜合驗證研究[D];哈爾濱工程大學(xué);2011年

3 陳海民;密碼嵌入式微處理器設(shè)計與實現(xiàn)研究[D];解放軍信息工程大學(xué);2011年

4 馮超超;半定制/全定制混合設(shè)計流程中驗證方法研究[D];國防科學(xué)技術(shù)大學(xué);2008年

5 吳曉非;通用CPU架構(gòu)的8051指令集嵌入式微處理器設(shè)計與驗證[D];電子科技大學(xué);2010年

6 馬超;基于CORDIC的FFT處理器設(shè)計及驗證[D];哈爾濱工程大學(xué);2013年

7 鄧承諾;高效能ESCA協(xié)處理器驗證技術(shù)研究[D];華中科技大學(xué);2013年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 胥林;丁婷婷;;應(yīng)用SystemVerilog搭建USB驗證平臺[J];黑龍江科技信息;2008年17期

2 胡建國;曾獻(xiàn)君;陳亮;邢座程;;CPU驗證平臺的研究與實現(xiàn)[J];微電子學(xué);2006年01期

3 葉磊;樊曉椏;安建峰;張山剛;;一種基于Simics的兼容微處理器系統(tǒng)級驗證平臺[J];計算機(jī)工程與應(yīng)用;2006年15期

4 于海;樊曉椏;張盛兵;;32位RISC微處理器FPGA驗證平臺設(shè)計與實現(xiàn)[J];計算機(jī)工程與應(yīng)用;2007年05期

5 胡建國;姚麗娜;夏笠芹;劉娟;;IA-64微處理器系統(tǒng)級驗證平臺的設(shè)計與實現(xiàn)[J];微電子學(xué);2008年03期

6 胡建國;曾獻(xiàn)君;劉龍;劉軍;李晉文;邢座程;;微處理器硬件驗證平臺的設(shè)計與應(yīng)用[J];微處理機(jī);2007年01期

7 謝智勇;羅明;蔣俊;;串行RapidIO驗證模型[J];計算機(jī)工程;2008年S1期

8 賀珊;張多利;何偉;;基于Open Vera的IIC總線接口功能驗證平臺的搭建[J];合肥工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2007年03期

9 王沛;任浩琪;鐘文楓;;VStation硬件輔助驗證平臺在高性能CPU功能驗證中的應(yīng)用[J];電子設(shè)計技術(shù);2007年11期

10 王繼中;樊曉椏;黃小平;;“龍騰”處理器FPGA驗證平臺的優(yōu)化設(shè)計[J];計算機(jī)測量與控制;2009年01期

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

1 尹勇生;胡永華;周干民;;PCI總線接口的驗證平臺及測試圖形生成[A];2004全國測控、計量與儀器儀表學(xué)術(shù)年會論文集（上冊）[C];2004年

2 淮治華;田澤;趙強(qiáng);韓煒;;基于DSP的SoC FPGA原型驗證平臺的構(gòu)建與應(yīng)用[A];第十五屆計算機(jī)工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

3 劉濤;柴雙勇;藺建邦;弓睿;安學(xué)軍;;HPP控制器的系統(tǒng)級功能驗證[A];第十五屆計算機(jī)工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

4 梅家祥;王永文;邢座程;;SIMD模式下訪存單元的驗證[A];第十五屆計算機(jī)工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

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

1 深圳商報記者 張瑩;集成電路產(chǎn)業(yè)收入超百億[N];深圳商報;2003年

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

1 劉揚帆;硬件事務(wù)存儲微體系結(jié)構(gòu)及其驗證研究[D];浙江大學(xué);2012年

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

1 喬麗萍;基于IP的USB Audio的設(shè)計與驗證[D];西安電子科技大學(xué);2008年

2 李樹杰;中科SoC通用驗證平臺及驗證方法學(xué)研究[D];山東科技大學(xué);2005年

3 胡建國;高性能微處理器的驗證技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2004年

4 葉磊;“龍騰S2”驗證平臺的設(shè)計[D];西北工業(yè)大學(xué);2006年

5 張山剛;微處理器驗證平臺的實現(xiàn)[D];西北工業(yè)大學(xué);2005年

6 趙興亮;媒體DSP處理器驗證平臺的研究與開發(fā)[D];浙江大學(xué);2006年

7 李翔;PCMCIA總線功能模型的建立及橋接器軟核的驗證[D];電子科技大學(xué);2007年

8 劉衛(wèi)華;16位數(shù)字信號處理器IP核的開發(fā)[D];哈爾濱工業(yè)大學(xué);2007年

9 歐明雙;面向DSP芯片統(tǒng)一驗證平臺的研究與實現(xiàn)[D];合肥工業(yè)大學(xué);2009年

10 王露;音頻IP驗證平臺的設(shè)計與開發(fā)[D];哈爾濱工業(yè)大學(xué);2010年

，

本文編號：1836717