基于高效约束解决算法的浮点数生成器设计

发布时间：2017-10-25 21:25

  本文关键词：基于高效约束解决算法的浮点数生成器设计

  更多相关文章： 浮点运算单元 中间结果(IR) 约束解决算法(CSA)

【摘要】：为了对微处理器中浮点运算单元FPU(floating-point unit)进行高效的功能验证,对浮点运算的边界情况进行了研究,引入了对中间结果(intermediate result)的约束解决算法(constriant solved arithmetic).与传统的对浮点运算单元的功能验证相比,基于该约束算法的浮点数生成器,拓宽了浮点边界情况的可选范围,有效提高了验证效率.实验结果表明,集成该浮点数生成器的UVM验证平台,能够在12小时的测试时间内,对一个浮点运算子模块(floating-point subunit)达到超过99%的覆盖率.
【作者单位】： 苏州大学电子信息学院;
【关键词】： 浮点运算单元 中间结果(IR) 约束解决算法(CSA)
【分类号】：TP332
【正文快照】： 1引言浮点运算单元(FPU)是现代微处理器中的重要模块,其性能高低决定了微处理器进行数据处理与运算的速度.伴随着芯片复杂度的不断上升,设计一种高效的FPU并对其进行有效的验证已经成为了一项复杂而充满挑战性的任务[1].对于遵循IEEE754标准[2]的浮点运算操作,巨大而繁复的测

【相似文献】

中国期刊全文数据库 前10条

1 郭智勇;那鹏飞;;基于DSP TMS320LF2407的浮点数算法实现[J];机械工程与自动化;2010年03期

2 夏宏,曲英杰,王沁;求补舍入并行和位长自适应整数转浮点数电路设计[J];计算机研究与发展;2001年09期

3 石学林;张兆庆;武成岗;;定浮点数据算术及其优化[J];计算机科学;2005年06期

4 张玉明,王超;单片机浮点数的实用快速除法[J];电子技术应用;2001年05期

5 赵俊奇,郭志勇,杜晓军,张志成;DSP数字信号处理器的浮点数正弦的实现[J];仪表技术;2002年05期

6 赵俊奇,郭志勇,张志成;基于DSP TMS320F240的浮点数开方的研究[J];测试技术学报;2003年01期

7 朱亚超;;基于IEEE 754的浮点数存储格式分析研究[J];计算机与信息技术;2006年09期

8 张林生;;单片机系统中浮点数的存储方法[J];科技致富向导;2011年33期

9 杨军;;基于IEEE的浮点数格式分析及转换方法研究[J];甘肃科技纵横;2009年05期

10 何克晶;;科学计算浮点数据的高性能无损压缩[J];计算机学报;2010年06期

中国重要会议论文全文数据库 前2条

1 陈晶;吴锤红;;提高单片机浮点数精度的综合措施[A];福建省科协第五届学术年会数字化制造及其它先进制造技术专题学术年会论文集[C];2005年

2 梁艳;;自定义NiosⅡ快速浮点数运算指令的设计与实现[A];全国第三届信号和智能信息处理与应用学术交流会专刊[C];2009年

中国重要报纸全文数据库 前1条

1 上海 周兴华;单片机浮点数显示的C语言编程[N];电子报;2007年

中国硕士学位论文全文数据库 前1条

1 孙龙龙;结合律对浮点数加法精确度影响的研究[D];西北师范大学;2014年

，

本文编号：1095578