浮点单元的测试向量

时间:2013-02-22 17:53:35

标签: floating-point verification

我在Verilog中设计了一个32位单精度浮点乘法器和一个单独的加/减单元。

我在MATLAB中编写了一个脚本,它生成了一堆随机浮点数,并在Verilog中生成了一个测试平台。

我将ncverilog仿真的结果与MATLAB的结果进行了比较,并验证了我的乘法器正常工作,并且我的加/减速器也能正常工作。

但是,我想知道一个测试案例列表,它会对我的浮点单元进行压力测试。有这样的清单吗?我知道像Softfloat这样的程序,但它测试计算机的浮点,而不是能够将它与verilog测试平台合并。

我还应该提到我的单元不支持溢出,下溢等异常,并且不支持非规范化值。舍入模式是舍入到最近的。

谢谢!

2 个答案:

答案 0 :(得分:2)

答案 1 :(得分:1)

FP的规范[已发布]测试向量集来自Jerome Coonen的博士论文。它们可以在IEEE上找到(在 tape !上),但我怀疑你可以通过一些搜索以更方便的格式找到它们。