【摘要】：為了對復(fù)雜浮點運算單元進行功能驗證,設(shè)計并實現(xiàn)了一種基于UVM(Universal Verification Methodology)方法的驗證平臺.該平臺集成了一套高效的浮點數(shù)產(chǎn)生機制,將浮點用例的求解轉(zhuǎn)化為連分式的求解,拓寬了傳統(tǒng)浮點用例的邊界定義,同時也調(diào)用了基于C語言的參考模型來自檢計算結(jié)果,并結(jié)合FCC(Fast Coverage Convergence)技術(shù),加快了覆蓋率收斂.應(yīng)用結(jié)果表明,此驗證平臺能夠?qū)Ω↑c運算單元各功能進行高效驗證,極大地減少驗證時間,且平臺內(nèi)嵌的浮點數(shù)產(chǎn)生器也能夠移植到其他浮點功能驗證平臺.
[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é)院;中晟宏芯有限公司;
【分類號】：TP332

【相似文獻】

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

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

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

3 何軍;田增;郭勇;陳誠;;浮點乘加部件延遲對浮點性能影響的研究[J];計算機工程;2013年07期

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

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

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

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

8 章錦文,馬遠良;32位浮點DSP綜觀[J];微處理機;1995年03期

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

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

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

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

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

3 陳博文;郭琦;沈海華;;浮點乘加部件的自動化形式驗證[A];第六屆中國測試學(xué)術(shù)會議論文集[C];2010年

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

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

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

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

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

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

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

3 斯諾;PC按誰的規(guī)則玩[N];中國經(jīng)營報;2001年

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

5 中國計算機報測試實驗室 王炳晨;1GHz CPU為誰而來？[N];中國計算機報;2001年

6 ;CPU選購新概念[N];中國電腦教育報;2002年

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

8 馬文方;CPU與GPU：誰將主導(dǎo)下一次計算革命？[N];中國計算機報;2008年

9 本報記者 霍光;AMD推土機架構(gòu)揭密[N];中國計算機報;2011年

10 ;安騰2處理器技術(shù)特征分析[N];中國計算機報;2003年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2450791