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

• 作者: 冯春阳 吴升光 羊箭锋
• 来源期刊: 微电子学与计算机
• 关键词: 浮点运算单元 UVM验证平台 中间结果约束 浮点数生成
• 年，卷（期）: 2017,（4）
• 页码范围: 121-125,130
• 页数: 6页
• 分类号: TN4
• 语种: 中文

摘要

为了对复杂浮点运算单元进行功能验证,设计并实现了一种基于UVM(Universal Verification Methodology)方法的验证平台.该平台集成了一套高效的浮点数产生机制,将浮点用例的求解转化为连分式的求解,拓宽了传统浮点用例的边界定义,同时也调用了基于C语言的参考模型来自检计算结果,并结合FCC(Fast Coverage Convergence)技术,加快了覆盖率收敛.应用结果表明,此验证平台能够对浮点运算单元各功能进行高效验证,极大地减少验证时间,且平台内嵌的浮点数产生器也能够移植到其他浮点功能验证平台.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	羊箭锋	苏州大学电子信息学院	9	27	3.0	4.0
2	吴升光	苏州大学电子信息学院	2	4	1.0	2.0
6	冯春阳		1	3	1.0	1.0