本文選題：浮點乘　切入點：仿真驗證　出處：《計算機輔助設計與圖形學學報》2014年09期 　論文類型：期刊論文

【摘要】：針對浮點乘仿真驗證時覆蓋率不全面和邊界角用例定位難的問題,提出一種隨機法和Hensel lifting理論聯(lián)合的浮點乘測試用例生成方法.首先通過分析測試用例生成域設計了一個浮點乘測試用例產(chǎn)生及功能仿真平臺;然后利用Hensel lifting理論提出一種統(tǒng)一的邊界角浮點乘測試用例生成模型.將所提方法用于文中設計的功能仿真平臺中,并將該平臺與典型浮點測試工具集進行浮點乘性能比較的實驗結(jié)果表明,該方法可使浮點乘檢錯率隨浮點數(shù)位寬的增加而提升,最高增幅可達9.77%,比隨機法檢錯率平均提高15.98%,比典型浮點測試工具集檢錯率平均提高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ù)研究所集成電路設計中心;
【基金】：國家航天科技重點攻關(guān)項目(617010707) 國家核高基重大專項(2012ZX01021-001-A1,2014ZX01020-301)
【分類號】：TP332;TP311.53

【相似文獻】

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

1 ;高速浮點處理器[J];計算機工程與應用;1983年03期

2 傅斌;486DLC一個浮點問題的解決辦法[J];電腦;1996年01期

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

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

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

6 唐明哲,邵志標,趙寧,許琪;32位浮點嵌入式MCU設計研究[J];微電子學與計算機;2004年07期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 計算機世界實驗室 盤駿;實力的證明[N];計算機世界;2011年

2 001pc.com;按應用需求選擇CPU[N];中國計算機報;2001年

3 尚云山;AMD推首款高檔專用“顯卡”[N];電子資訊時報;2007年

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

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

6 王寒輝;透視 CPU 的性能[N];中國電腦教育報;2000年

7 Eliot;推倒重來[N];中國電腦教育報;2003年

8 本報記者 陳斌;石油HPC：尋找魚和熊掌的平衡點[N];計算機世界;2008年

9 西安 閆書強;激情碰撞[N];電腦報;2009年

10 ;QCDoC：為量子色動力學模擬而建造[N];中國計算機報;2005年

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

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

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

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

2 何偉;設計高性能浮點加法器[D];合肥工業(yè)大學;2004年

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

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

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

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

7 高海霞;32位浮點加法器的優(yōu)化設計[D];西安電子科技大學;2002年

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

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

10 張西峰;高性能浮點DSP教學實驗平臺的研究與實現(xiàn)[D];北京交通大學;2010年

，

本文編號：1650531