-
题名基于UVM的浮点功能部件验证
被引量:3
- 1
-
-
作者
吴升光
羊箭锋
冯春阳
-
机构
苏州大学电子信息学院
中晟宏芯有限公司
-
出处
《微电子学与计算机》
CSCD
北大核心
2017年第4期121-125,130,共6页
-
文摘
为了对复杂浮点运算单元进行功能验证,设计并实现了一种基于UVM(Universal Verification Methodology)方法的验证平台.该平台集成了一套高效的浮点数产生机制,将浮点用例的求解转化为连分式的求解,拓宽了传统浮点用例的边界定义,同时也调用了基于C语言的参考模型来自检计算结果,并结合FCC(Fast Coverage Convergence)技术,加快了覆盖率收敛.应用结果表明,此验证平台能够对浮点运算单元各功能进行高效验证,极大地减少验证时间,且平台内嵌的浮点数产生器也能够移植到其他浮点功能验证平台.
-
关键词
浮点运算单元
UVM验证平台
中间结果约束
浮点数生成
-
Keywords
floating-point unit
UVM test-bench
intermediate result constraint
floating-point operand generation
-
分类号
TN4
[电子电信—微电子学与固体电子学]
-