基于UVM的浮点功能部件验证

发布时间：2019-03-31 09:41

【摘要】：为了对复杂浮点运算单元进行功能验证,设计并实现了一种基于UVM(Universal Verification Methodology)方法的验证平台.该平台集成了一套高效的浮点数产生机制,将浮点用例的求解转化为连分式的求解,拓宽了传统浮点用例的边界定义,同时也调用了基于C语言的参考模型来自检计算结果,并结合FCC(Fast Coverage Convergence)技术,加快了覆盖率收敛.应用结果表明,此验证平台能够对浮点运算单元各功能进行高效验证,极大地减少验证时间,且平台内嵌的浮点数产生器也能够移植到其他浮点功能验证平台.
[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.
【作者单位】： 苏州大学电子信息学院;中晟宏芯有限公司;
【分类号】：TP332

【相似文献】

相关期刊论文 前10条

1 刘安,孙艳红;浮点格式转换的分析与实现[J];电脑开发与应用;2001年02期

2 邓彬伟;;嵌入式系统中48位高精度浮点类型的设计与实现[J];微计算机信息;2007年23期

3 何军;田增;郭勇;陈诚;;浮点乘加部件延迟对浮点性能影响的研究[J];计算机工程;2013年07期

4 欧阳玉梅;“数的定点表示与浮点表示”问题分析[J];教学研究;2005年01期

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

6 Bill Chou;Tom Erkkinen;;浮点模型的定点化到产品级代码的生成[J];电子设计技术;2010年03期

7 沈俊;沈海斌;虞玉龙;;一种低延迟高吞吐率的浮点整型乘累加单元[J];计算机工程;2013年06期

8 章锦文,马远良;32位浮点DSP综观[J];微处理机;1995年03期

9 Boris Lerner;;浮点计算的动态范围适合更多应用[J];世界电子元器件;2006年05期

10 张峰;黎铁军;徐炜遐;;一种128位高精度浮点乘加部件的研究与实现[J];计算机工程与科学;2009年02期

相关会议论文 前7条

1 邰强强;倪晓强;张民选;;基于浮点融合乘加部件的前导零预测与检测方法研究[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年

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

3 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年

4 王宏燕;邢座程;邓让钰;;MB64-1浮点部件的设计[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

5 谢启华;倪晓强;李少青;刘荣华;张民选;;高性能浮点融合乘加部件中加法/前导零预测器的流水设计[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年

6 王碧文;彭元喜;杨惠;吴铁彬;;一种FA的设计与验证[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

7 李振虎;倪晓强;李少青;谢启华;张民选;;浮点融合乘加部件中108位加法器的设计[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年

相关重要报纸文章 前10条

1 本报记者　 宋家雨;变一周为十三个小时[N];网络世界;2006年

2 广西 姑苏飘雪;“呼唤”渲染世界真色彩[N];电脑报;2004年

3 斯诺;PC按谁的规则玩[N];中国经营报;2001年

4 ;有望促生亿亿次超级计算机[N];网络世界;2010年

5 中国计算机报测试实验室 王炳晨;1GHz CPU为谁而来？[N];中国计算机报;2001年

6 ;CPU选购新概念[N];中国电脑教育报;2002年

7 本报记者 李胜永;AMD真四核技术加速电力信息化[N];中国电力报;2007年

8 马文方;CPU与GPU：谁将主导下一次计算革命？[N];中国计算机报;2008年

9 本报记者 霍光;AMD推土机架构揭密[N];中国计算机报;2011年

10 ;安腾2处理器技术特征分析[N];中国计算机报;2003年

相关博士学位论文 前2条

1 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年

2 姜浩;高精度可靠浮点计算及舍入误差分析研究[D];国防科学技术大学;2013年

相关硕士学位论文 前10条

1 孙敬宇;1024点浮点流水线型FFT IP核设计[D];哈尔滨工业大学;2015年

2 吴晨璐;面向浮点FFT的加速系统研究[D];复旦大学;2014年

3 罗淑贞;基于FPGA的浮点乘加融合部件的研究及算法[D];河北工业大学;2015年

4 徐祥男;基于FPGA的LOP算法的设计与性能分析[D];河北工业大学;2015年

5 袁浩;基于符号执行与区间运算的浮点异常检测[D];华东师范大学;2016年

6 崔鲁平;基于AltiVec技术的浮点类指令的硬件设计与实现[D];天津大学;2014年

7 杨秀杰;32位高性能M-DSP浮点ALU的设计优化与验证[D];国防科学技术大学;2015年

8 仇冀宏;高性能浮点单元的分析与设计[D];合肥工业大学;2007年

9 刘剑;基于区间分析的浮点计算误差估计与异常检测[D];华东师范大学;2015年

10 潘宏亮;浮点指数类超越函数的运算算法研究与硬件实现[D];西北工业大学;2006年

，

本文编号：2450791