發(fā)布時(shí)間：2019-03-31 09:41

【摘要】：為了對(duì)復(fù)雜浮點(diǎn)運(yùn)算單元進(jìn)行功能驗(yàn)證,設(shè)計(jì)并實(shí)現(xiàn)了一種基于UVM(Universal Verification Methodology)方法的驗(yàn)證平臺(tái).該平臺(tái)集成了一套高效的浮點(diǎn)數(shù)產(chǎn)生機(jī)制,將浮點(diǎn)用例的求解轉(zhuǎn)化為連分式的求解,拓寬了傳統(tǒng)浮點(diǎn)用例的邊界定義,同時(shí)也調(diào)用了基于C語(yǔ)言的參考模型來(lái)自檢計(jì)算結(jié)果,并結(jié)合FCC(Fast Coverage Convergence)技術(shù),加快了覆蓋率收斂.應(yīng)用結(jié)果表明,此驗(yàn)證平臺(tái)能夠?qū)Ω↑c(diǎn)運(yùn)算單元各功能進(jìn)行高效驗(yàn)證,極大地減少驗(yàn)證時(shí)間,且平臺(tái)內(nèi)嵌的浮點(diǎn)數(shù)產(chǎn)生器也能夠移植到其他浮點(diǎn)功能驗(yàn)證平臺(tái).
[Abstract]:In order to function and verify the complex floating point arithmetic unit, a verification platform based on the Universal Verification Method is designed and implemented. The platform integrates a high-efficiency floating-point generation mechanism, transforms the solution of the floating-point use case into the solution of the continuous fraction, widens the boundary definition of the traditional floating-point use case, and also calls the C-language-based reference model to come from the check calculation result and combines the FCC (Fast Coverage Convergent) technology, And the coverage convergence is accelerated. The application results show that the verification platform can effectively verify the functions of the floating point operation unit, greatly reduce the verification time, and the floating point generator embedded in the platform can also be transplanted to the other floating point function verification platform.
【作者單位】： 蘇州大學(xué)電子信息學(xué)院;中晟宏芯有限公司;
【分類(lèi)號(hào)】：TP332

【相似文獻(xiàn)】

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

1 劉安,孫艷紅;浮點(diǎn)格式轉(zhuǎn)換的分析與實(shí)現(xiàn)[J];電腦開(kāi)發(fā)與應(yīng)用;2001年02期

2 鄧彬偉;;嵌入式系統(tǒng)中48位高精度浮點(diǎn)類(lèi)型的設(shè)計(jì)與實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2007年23期

3 何軍;田增;郭勇;陳誠(chéng);;浮點(diǎn)乘加部件延遲對(duì)浮點(diǎn)性能影響的研究[J];計(jì)算機(jī)工程;2013年07期

4 歐陽(yáng)玉梅;“數(shù)的定點(diǎn)表示與浮點(diǎn)表示”問(wèn)題分析[J];教學(xué)研究;2005年01期

5 ;SHARC 2148x/47x:32位浮點(diǎn)DSP[J];世界電子元器件;2010年09期

6 Bill Chou;Tom Erkkinen;;浮點(diǎn)模型的定點(diǎn)化到產(chǎn)品級(jí)代碼的生成[J];電子設(shè)計(jì)技術(shù);2010年03期

7 沈俊;沈海斌;虞玉龍;;一種低延遲高吞吐率的浮點(diǎn)整型乘累加單元[J];計(jì)算機(jī)工程;2013年06期

8 章錦文,馬遠(yuǎn)良;32位浮點(diǎn)DSP綜觀[J];微處理機(jī);1995年03期

9 Boris Lerner;;浮點(diǎn)計(jì)算的動(dòng)態(tài)范圍適合更多應(yīng)用[J];世界電子元器件;2006年05期

10 張峰;黎鐵軍;徐煒遐;;一種128位高精度浮點(diǎn)乘加部件的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與科學(xué);2009年02期

相關(guān)會(huì)議論文 前7條

1 邰強(qiáng)強(qiáng);倪曉強(qiáng);張民選;;基于浮點(diǎn)融合乘加部件的前導(dǎo)零預(yù)測(cè)與檢測(cè)方法研究[A];第十六屆計(jì)算機(jī)工程與工藝年會(huì)暨第二屆微處理器技術(shù)論壇論文集[C];2012年

2 閔銀皮;倪曉強(qiáng);邢座程;;多線程向量浮點(diǎn)部件的驗(yàn)證方法[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

3 陳博文;郭琦;沈海華;;浮點(diǎn)乘加部件的自動(dòng)化形式驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

4 王宏燕;邢座程;鄧讓鈺;;MB64-1浮點(diǎn)部件的設(shè)計(jì)[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

5 謝啟華;倪曉強(qiáng);李少青;劉榮華;張民選;;高性能浮點(diǎn)融合乘加部件中加法/前導(dǎo)零預(yù)測(cè)器的流水設(shè)計(jì)[A];第十六屆計(jì)算機(jī)工程與工藝年會(huì)暨第二屆微處理器技術(shù)論壇論文集[C];2012年

6 王碧文;彭元喜;楊惠;吳鐵彬;;一種FA的設(shè)計(jì)與驗(yàn)證[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

7 李振虎;倪曉強(qiáng);李少青;謝啟華;張民選;;浮點(diǎn)融合乘加部件中108位加法器的設(shè)計(jì)[A];第十六屆計(jì)算機(jī)工程與工藝年會(huì)暨第二屆微處理器技術(shù)論壇論文集[C];2012年

相關(guān)重要報(bào)紙文章 前10條

1 本報(bào)記者　 宋家雨;變一周為十三個(gè)小時(shí)[N];網(wǎng)絡(luò)世界;2006年

2 廣西 姑蘇飄雪;“呼喚”渲染世界真色彩[N];電腦報(bào);2004年

3 斯諾;PC按誰(shuí)的規(guī)則玩[N];中國(guó)經(jīng)營(yíng)報(bào);2001年

4 ;有望促生億億次超級(jí)計(jì)算機(jī)[N];網(wǎng)絡(luò)世界;2010年

5 中國(guó)計(jì)算機(jī)報(bào)測(cè)試實(shí)驗(yàn)室 王炳晨;1GHz CPU為誰(shuí)而來(lái)？[N];中國(guó)計(jì)算機(jī)報(bào);2001年

6 ;CPU選購(gòu)新概念[N];中國(guó)電腦教育報(bào);2002年

7 本報(bào)記者 李勝永;AMD真四核技術(shù)加速電力信息化[N];中國(guó)電力報(bào);2007年

8 馬文方;CPU與GPU：誰(shuí)將主導(dǎo)下一次計(jì)算革命？[N];中國(guó)計(jì)算機(jī)報(bào);2008年

9 本報(bào)記者 霍光;AMD推土機(jī)架構(gòu)揭密[N];中國(guó)計(jì)算機(jī)報(bào);2011年

10 ;安騰2處理器技術(shù)特征分析[N];中國(guó)計(jì)算機(jī)報(bào);2003年

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

1 陳立前;基于區(qū)間線性抽象域的可靠浮點(diǎn)及非凸靜態(tài)分析[D];國(guó)防科學(xué)技術(shù)大學(xué);2010年

2 姜浩;高精度可靠浮點(diǎn)計(jì)算及舍入誤差分析研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2013年

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

1 孫敬宇;1024點(diǎn)浮點(diǎn)流水線型FFT IP核設(shè)計(jì)[D];哈爾濱工業(yè)大學(xué);2015年

2 吳晨璐;面向浮點(diǎn)FFT的加速系統(tǒng)研究[D];復(fù)旦大學(xué);2014年

3 羅淑貞;基于FPGA的浮點(diǎn)乘加融合部件的研究及算法[D];河北工業(yè)大學(xué);2015年

4 徐祥男;基于FPGA的LOP算法的設(shè)計(jì)與性能分析[D];河北工業(yè)大學(xué);2015年

5 袁浩;基于符號(hào)執(zhí)行與區(qū)間運(yùn)算的浮點(diǎn)異常檢測(cè)[D];華東師范大學(xué);2016年

6 崔魯平;基于AltiVec技術(shù)的浮點(diǎn)類(lèi)指令的硬件設(shè)計(jì)與實(shí)現(xiàn)[D];天津大學(xué);2014年

7 楊秀杰;32位高性能M-DSP浮點(diǎn)ALU的設(shè)計(jì)優(yōu)化與驗(yàn)證[D];國(guó)防科學(xué)技術(shù)大學(xué);2015年

8 仇冀宏;高性能浮點(diǎn)單元的分析與設(shè)計(jì)[D];合肥工業(yè)大學(xué);2007年

9 劉劍;基于區(qū)間分析的浮點(diǎn)計(jì)算誤差估計(jì)與異常檢測(cè)[D];華東師范大學(xué);2015年

10 潘宏亮;浮點(diǎn)指數(shù)類(lèi)超越函數(shù)的運(yùn)算算法研究與硬件實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2006年

，

本文編號(hào)：2450791