本文選題：浮點(diǎn)乘　切入點(diǎn)：仿真驗(yàn)證　出處：《計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)》2014年09期 　論文類(lèi)型：期刊論文

【摘要】：針對(duì)浮點(diǎn)乘仿真驗(yàn)證時(shí)覆蓋率不全面和邊界角用例定位難的問(wèn)題,提出一種隨機(jī)法和Hensel lifting理論聯(lián)合的浮點(diǎn)乘測(cè)試用例生成方法.首先通過(guò)分析測(cè)試用例生成域設(shè)計(jì)了一個(gè)浮點(diǎn)乘測(cè)試用例產(chǎn)生及功能仿真平臺(tái);然后利用Hensel lifting理論提出一種統(tǒng)一的邊界角浮點(diǎn)乘測(cè)試用例生成模型.將所提方法用于文中設(shè)計(jì)的功能仿真平臺(tái)中,并將該平臺(tái)與典型浮點(diǎn)測(cè)試工具集進(jìn)行浮點(diǎn)乘性能比較的實(shí)驗(yàn)結(jié)果表明,該方法可使浮點(diǎn)乘檢錯(cuò)率隨浮點(diǎn)數(shù)位寬的增加而提升,最高增幅可達(dá)9.77%,比隨機(jī)法檢錯(cuò)率平均提高15.98%,比典型浮點(diǎn)測(cè)試工具集檢錯(cuò)率平均提高1.9%.
[Abstract]:Aiming at the problems of incomplete coverage and difficulty in locating the boundary angle use cases in the verification of floating-point multiplication simulation, A floating point multiplication test case generation method combined with Hensel lifting theory is proposed. Firstly, a floating-point multiplication test case generation and function simulation platform is designed by analyzing the test case generation domain. Then, using Hensel lifting theory, a unified test case generation model of boundary angle floating-point multiplication test is proposed. The proposed method is applied to the functional simulation platform designed in this paper. The experimental results show that the floating-point multiplication error detection rate increases with the increase of floating-point bit width. The maximum increase is 9.77, which is 15.98% higher than that of random method, and 1.9% higher than that of the typical floating point test tool set.
【作者單位】： 西安微電子技術(shù)研究所集成電路設(shè)計(jì)中心;
【基金】：國(guó)家航天科技重點(diǎn)攻關(guān)項(xiàng)目(617010707) 國(guó)家核高基重大專(zhuān)項(xiàng)(2012ZX01021-001-A1,2014ZX01020-301)
【分類(lèi)號(hào)】：TP332;TP311.53

【相似文獻(xiàn)】

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

1 ;高速浮點(diǎn)處理器[J];計(jì)算機(jī)工程與應(yīng)用;1983年03期

2 傅斌;486DLC一個(gè)浮點(diǎn)問(wèn)題的解決辦法[J];電腦;1996年01期

3 ;SGI　TFP──最高浮點(diǎn)性能的RISC微處理器[J];導(dǎo)彈與航天運(yùn)載技術(shù);1994年01期

4 ;讓你的夢(mèng)想加個(gè)“倍”──K6-2 3D now![J];軟件世界;1998年01期

5 李偉;MMX2正在向時(shí)代走來(lái)[J];現(xiàn)代電子技術(shù);1998年06期

6 唐明哲,邵志標(biāo),趙寧,許琪;32位浮點(diǎn)嵌入式MCU設(shè)計(jì)研究[J];微電子學(xué)與計(jì)算機(jī);2004年07期

7 ;3D NOW!技術(shù)AMD-K6-2表現(xiàn)杰出[J];電子科技;1998年09期

8 齊威;AMD Athlon現(xiàn)身說(shuō)法[J];中國(guó)計(jì)算機(jī)用戶;1999年30期

9 世健;AD公司高水平浮點(diǎn)數(shù)字信號(hào)處理器[J];世界電子元器件;1997年03期

10 李勇;關(guān)于TMS320C30浮點(diǎn)數(shù)字信號(hào)處理器及在實(shí)時(shí)計(jì)算機(jī)系統(tǒng)中應(yīng)用的分析[J];微處理機(jī);1996年04期

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

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

2 蔣景紅;楊力;蔡惠智;侯衛(wèi)民;;GPU在實(shí)時(shí)信號(hào)處理系統(tǒng)中應(yīng)用的可行性研究[A];2009年全國(guó)水聲學(xué)學(xué)術(shù)交流暨水聲學(xué)分會(huì)換屆改選會(huì)議論文集[C];2009年

3 王曉光;昃琳;劉濤;;CUDA構(gòu)筑廉價(jià)的高性能計(jì)算平臺(tái)[A];信息時(shí)代——科技情報(bào)研究學(xué)術(shù)論文集（第三輯）[C];2008年

4 畢卓;戴益君;;全定制CORDIC運(yùn)算器設(shè)計(jì)[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（B輯）[C];2011年

5 郭磊;唐玉華;周杰;董亞卓;;基于FPGA的Cholesky分解細(xì)粒度并行結(jié)構(gòu)與實(shí)現(xiàn)[A];2010年第16屆全國(guó)信息存儲(chǔ)技術(shù)大會(huì)（IST2010）論文集[C];2010年

6 范靈俊;安述倩;李楊;張浩;王達(dá);范東睿;;眾核處理器高效片上訪存機(jī)制研究[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

7 王俊;何晶;許信玉;;8192點(diǎn)FFT處理器設(shè)計(jì)[A];2011年通信與信息技術(shù)新進(jìn)展——第八屆中國(guó)通信學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2011年

8 趙寶明;羅忠;;ATmega64L單片機(jī)實(shí)現(xiàn)嵌入式實(shí)時(shí)128點(diǎn)采樣數(shù)據(jù)FFT[A];中國(guó)計(jì)量協(xié)會(huì)冶金分會(huì)2010年會(huì)論文集[C];2010年

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

1 計(jì)算機(jī)世界實(shí)驗(yàn)室 盤(pán)駿;實(shí)力的證明[N];計(jì)算機(jī)世界;2011年

2 001pc.com;按應(yīng)用需求選擇CPU[N];中國(guó)計(jì)算機(jī)報(bào);2001年

3 尚云山;AMD推首款高檔專(zhuān)用“顯卡”[N];電子資訊時(shí)報(bào);2007年

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

5 廣東 林鳴;從4004到Athlon64(三)[N];電腦報(bào);2004年

6 王寒輝;透視 CPU 的性能[N];中國(guó)電腦教育報(bào);2000年

7 Eliot;推倒重來(lái)[N];中國(guó)電腦教育報(bào);2003年

8 本報(bào)記者 陳斌;石油HPC：尋找魚(yú)和熊掌的平衡點(diǎn)[N];計(jì)算機(jī)世界;2008年

9 西安 閆書(shū)強(qiáng);激情碰撞[N];電腦報(bào);2009年

10 ;QCDoC：為量子色動(dòng)力學(xué)模擬而建造[N];中國(guó)計(jì)算機(jī)報(bào);2005年

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

1 杜學(xué)亮;定制指令與協(xié)處理器加速機(jī)制的研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2009年

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

1 李叢;LEON3浮點(diǎn)部件控制器的研究與實(shí)現(xiàn)[D];大連理工大學(xué);2010年

2 何偉;設(shè)計(jì)高性能浮點(diǎn)加法器[D];合肥工業(yè)大學(xué);2004年

3 劉凌;P1750A浮點(diǎn)執(zhí)行部件的設(shè)計(jì)與實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2001年

4 許向榮;基于DSP的便攜式雙通道信號(hào)分析儀的研究[D];華北電力大學(xué)（河北）;2003年

5 張博為;可重構(gòu)系統(tǒng)中快速高斯消元算法的并行硬件體系實(shí)現(xiàn)[D];哈爾濱工程大學(xué);2009年

6 李濤;嵌入式微處理器控制通路和接口的設(shè)計(jì)[D];西北工業(yè)大學(xué);2003年

7 高海霞;32位浮點(diǎn)加法器的優(yōu)化設(shè)計(jì)[D];西安電子科技大學(xué);2002年

8 付娟;浮點(diǎn)處理單元結(jié)構(gòu)和算法研究[D];西北工業(yè)大學(xué);2004年

9 秦鵬;六十四位浮點(diǎn)乘加器的設(shè)計(jì)與實(shí)現(xiàn)[D];西北工業(yè)大學(xué);2003年

10 張西峰;高性能浮點(diǎn)DSP教學(xué)實(shí)驗(yàn)平臺(tái)的研究與實(shí)現(xiàn)[D];北京交通大學(xué);2010年

，

本文編號(hào)：1650531