随机法和Hensel Lifting联合的浮点乘测试用例生成方法

发布时间：2018-03-22 21:36

  本文选题：浮点乘　切入点：仿真验证　出处：《计算机辅助设计与图形学学报》2014年09期 　论文类型：期刊论文

【摘要】：针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达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.
【作者单位】： 西安微电子技术研究所集成电路设计中心;
【基金】：国家航天科技重点攻关项目(617010707) 国家核高基重大专项(2012ZX01021-001-A1,2014ZX01020-301)
【分类号】：TP332;TP311.53

【相似文献】

相关期刊论文 前10条

1 ;高速浮点处理器[J];计算机工程与应用;1983年03期

2 傅斌;486DLC一个浮点问题的解决办法[J];电脑;1996年01期

3 ;SGI　TFP──最高浮点性能的RISC微处理器[J];导弹与航天运载技术;1994年01期

4 ;让你的梦想加个“倍”──K6-2 3D now![J];软件世界;1998年01期

5 李伟;MMX2正在向时代走来[J];现代电子技术;1998年06期

6 唐明哲,邵志标,赵宁,许琪;32位浮点嵌入式MCU设计研究[J];微电子学与计算机;2004年07期

7 ;3D NOW!技术AMD-K6-2表现杰出[J];电子科技;1998年09期

8 齐威;AMD Athlon现身说法[J];中国计算机用户;1999年30期

9 世健;AD公司高水平浮点数字信号处理器[J];世界电子元器件;1997年03期

10 李勇;关于TMS320C30浮点数字信号处理器及在实时计算机系统中应用的分析[J];微处理机;1996年04期

相关会议论文 前8条

1 闵银皮;倪晓强;邢座程;;多线程向量浮点部件的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

2 蒋景红;杨力;蔡惠智;侯卫民;;GPU在实时信号处理系统中应用的可行性研究[A];2009年全国水声学学术交流暨水声学分会换届改选会议论文集[C];2009年

3 王晓光;昃琳;刘涛;;CUDA构筑廉价的高性能计算平台[A];信息时代——科技情报研究学术论文集（第三辑）[C];2008年

4 毕卓;戴益君;;全定制CORDIC运算器设计[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（B辑）[C];2011年

5 郭磊;唐玉华;周杰;董亚卓;;基于FPGA的Cholesky分解细粒度并行结构与实现[A];2010年第16届全国信息存储技术大会（IST2010）论文集[C];2010年

6 范灵俊;安述倩;李杨;张浩;王达;范东睿;;众核处理器高效片上访存机制研究[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

7 王俊;何晶;许信玉;;8192点FFT处理器设计[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年

8 赵宝明;罗忠;;ATmega64L单片机实现嵌入式实时128点采样数据FFT[A];中国计量协会冶金分会2010年会论文集[C];2010年

相关重要报纸文章 前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年

相关博士学位论文 前1条

1 杜学亮;定制指令与协处理器加速机制的研究[D];中国科学技术大学;2009年

相关硕士学位论文 前10条

1 李丛;LEON3浮点部件控制器的研究与实现[D];大连理工大学;2010年

2 何伟;设计高性能浮点加法器[D];合肥工业大学;2004年

3 刘凌;P1750A浮点执行部件的设计与实现[D];西北工业大学;2001年

4 许向荣;基于DSP的便携式双通道信号分析仪的研究[D];华北电力大学（河北）;2003年

5 张博为;可重构系统中快速高斯消元算法的并行硬件体系实现[D];哈尔滨工程大学;2009年

6 李涛;嵌入式微处理器控制通路和接口的设计[D];西北工业大学;2003年

7 高海霞;32位浮点加法器的优化设计[D];西安电子科技大学;2002年

8 付娟;浮点处理单元结构和算法研究[D];西北工业大学;2004年

9 秦鹏;六十四位浮点乘加器的设计与实现[D];西北工业大学;2003年

10 张西峰;高性能浮点DSP教学实验平台的研究与实现[D];北京交通大学;2010年

，

本文编号：1650531