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

• 作者: 吴升光 王子欧 王申卓 胡广垠
• 来源期刊: 微电子学与计算机
• 关键词: 浮点运算单元 中间结果(IR) 约束解决算法(CSA)
• 年，卷（期）: 2016,（11）
• 页码范围: 78-82,86
• 页数: 6页
• 分类号: TP301.6
• 语种: 中文

摘要

为了对微处理器中浮点运算单元FPU（floating-point unit）进行高效的功能验证，对浮点运算的边界情况进行了研究，引入了对中间结果（intermediate result）的约束解决算法（constriant solved arithmetic）。与传统的对浮点运算单元的功能验证相比，基于该约束算法的浮点数生成器，拓宽了浮点边界情况的可选范围，有效提高了验证效率。实验结果表明，集成该浮点数生成器的UVM验证平台，能够在12小时的测试时间内，对一个浮点运算子模块（floating-point subunit）达到超过99％的覆盖率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王子欧	苏州大学电子信息学院	20	58	4.0	6.0
2	王申卓	苏州大学电子信息学院	3	10	2.0	3.0
3	胡广垠	苏州大学电子信息学院	2	8	1.0	2.0
4	吴升光	苏州大学电子信息学院	2	4	1.0	2.0