论文部分内容阅读
论文设计了基于SystemVerilog语言的验证平台来完成浮点整数混合运算单元的功能验证。整个平台包含2个要点:一个是使用IBM实验室开发的浮点测试包进行平台校准测试;另一个是针对每种数据类型的若干测试情况都构建一条独立完整的验证通道,从而使得平台的可重用性及可移植行得到了极大地提升。最后在Covergroup(覆盖组)较为完备的情况下功能覆盖率达到100%,实现了对设计功能的可靠验证。此外拓展定向测试用于问题的自动化重现,从而达到问题的快速定位与分析。