本文關(guān)鍵詞：基于高效約束解決算法的浮點(diǎn)數(shù)生成器設(shè)計(jì)

  更多相關(guān)文章： 浮點(diǎn)運(yùn)算單元 中間結(jié)果(IR) 約束解決算法(CSA)

【摘要】：為了對(duì)微處理器中浮點(diǎn)運(yùn)算單元FPU(floating-point unit)進(jìn)行高效的功能驗(yàn)證,對(duì)浮點(diǎn)運(yùn)算的邊界情況進(jìn)行了研究,引入了對(duì)中間結(jié)果(intermediate result)的約束解決算法(constriant solved arithmetic).與傳統(tǒng)的對(duì)浮點(diǎn)運(yùn)算單元的功能驗(yàn)證相比,基于該約束算法的浮點(diǎn)數(shù)生成器,拓寬了浮點(diǎn)邊界情況的可選范圍,有效提高了驗(yàn)證效率.實(shí)驗(yàn)結(jié)果表明,集成該浮點(diǎn)數(shù)生成器的UVM驗(yàn)證平臺(tái),能夠在12小時(shí)的測(cè)試時(shí)間內(nèi),對(duì)一個(gè)浮點(diǎn)運(yùn)算子模塊(floating-point subunit)達(dá)到超過(guò)99%的覆蓋率.
【作者單位】： 蘇州大學(xué)電子信息學(xué)院;
【關(guān)鍵詞】： 浮點(diǎn)運(yùn)算單元 中間結(jié)果(IR) 約束解決算法(CSA)
【分類號(hào)】：TP332
【正文快照】： 1引言浮點(diǎn)運(yùn)算單元(FPU)是現(xiàn)代微處理器中的重要模塊,其性能高低決定了微處理器進(jìn)行數(shù)據(jù)處理與運(yùn)算的速度.伴隨著芯片復(fù)雜度的不斷上升,設(shè)計(jì)一種高效的FPU并對(duì)其進(jìn)行有效的驗(yàn)證已經(jīng)成為了一項(xiàng)復(fù)雜而充滿挑戰(zhàn)性的任務(wù)[1].對(duì)于遵循IEEE754標(biāo)準(zhǔn)[2]的浮點(diǎn)運(yùn)算操作,巨大而繁復(fù)的測(cè)

【相似文獻(xiàn)】

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

1 郭智勇;那鵬飛;;基于DSP TMS320LF2407的浮點(diǎn)數(shù)算法實(shí)現(xiàn)[J];機(jī)械工程與自動(dòng)化;2010年03期

2 夏宏,曲英杰,王沁;求補(bǔ)舍入并行和位長(zhǎng)自適應(yīng)整數(shù)轉(zhuǎn)浮點(diǎn)數(shù)電路設(shè)計(jì)[J];計(jì)算機(jī)研究與發(fā)展;2001年09期

3 石學(xué)林;張兆慶;武成崗;;定浮點(diǎn)數(shù)據(jù)算術(shù)及其優(yōu)化[J];計(jì)算機(jī)科學(xué);2005年06期

4 張玉明,王超;單片機(jī)浮點(diǎn)數(shù)的實(shí)用快速除法[J];電子技術(shù)應(yīng)用;2001年05期

5 趙俊奇,郭志勇,杜曉軍,張志成;DSP數(shù)字信號(hào)處理器的浮點(diǎn)數(shù)正弦的實(shí)現(xiàn)[J];儀表技術(shù);2002年05期

6 趙俊奇,郭志勇,張志成;基于DSP TMS320F240的浮點(diǎn)數(shù)開(kāi)方的研究[J];測(cè)試技術(shù)學(xué)報(bào);2003年01期

7 朱亞超;;基于IEEE 754的浮點(diǎn)數(shù)存儲(chǔ)格式分析研究[J];計(jì)算機(jī)與信息技術(shù);2006年09期

8 張林生;;單片機(jī)系統(tǒng)中浮點(diǎn)數(shù)的存儲(chǔ)方法[J];科技致富向?qū)?2011年33期

9 楊軍;;基于IEEE的浮點(diǎn)數(shù)格式分析及轉(zhuǎn)換方法研究[J];甘肅科技縱橫;2009年05期

10 何克晶;;科學(xué)計(jì)算浮點(diǎn)數(shù)據(jù)的高性能無(wú)損壓縮[J];計(jì)算機(jī)學(xué)報(bào);2010年06期

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

1 陳晶;吳錘紅;;提高單片機(jī)浮點(diǎn)數(shù)精度的綜合措施[A];福建省科協(xié)第五屆學(xué)術(shù)年會(huì)數(shù)字化制造及其它先進(jìn)制造技術(shù)專題學(xué)術(shù)年會(huì)論文集[C];2005年

2 梁艷;;自定義NiosⅡ快速浮點(diǎn)數(shù)運(yùn)算指令的設(shè)計(jì)與實(shí)現(xiàn)[A];全國(guó)第三屆信號(hào)和智能信息處理與應(yīng)用學(xué)術(shù)交流會(huì)�？痆C];2009年

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

1 上海 周興華;單片機(jī)浮點(diǎn)數(shù)顯示的C語(yǔ)言編程[N];電子報(bào);2007年

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

1 孫龍龍;結(jié)合律對(duì)浮點(diǎn)數(shù)加法精確度影響的研究[D];西北師范大學(xué);2014年

，

本文編號(hào)：1095578