浮點運算單元的測試向量

我設計了一個32位單精度浮點乘法器，也是Verilog中的一個單獨的加法/減法單元。浮點運算單元的測試向量

我在MATLAB的腳本，我寫的是產生一堆隨機浮點數和生成的Verilog測試臺。

我相比，從ncverilog模擬那些從MATLAB的結果，並證實了我的倍增器工作正常，我的加/減正常工作爲好。

但是，我想知道一個測試用例列表，它會對我的浮點單元進行壓力測試。有這樣的清單嗎？我知道一些像Softfloat這樣的程序，但是它測試了一臺計算機的浮點運算，而不是將它與Verilog測試平臺合併。

我還要提到我的單位不支持像溢，溢異常，並且不支持非規範化的數值。舍入模式是舍入到最近的。

謝謝！

2013-02-22 Veridian

這看起來很有希望：https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second=網站管理員 – Tim 2013-02-22 17:58:59

是的，現在來解析這些文件的惱人的部分。謝謝。 – Veridian 2013-02-22 18:21:35

很多年前，當我在FPU上工作時，我使用以下文章構建了自己的初始覆蓋測試向量，並發現它有助於找出錯誤：N. L. Schryer。計算機浮點運算單元的測試。技術報告89，AT＆T貝爾實驗室，1981年。 – njuffa 2013-02-23 18:44:02

2013-02-23 18:32:00 Veridian

解析它在一個適當的語言，並寫出一些Verilog ...不要嘗試在Verilog中進行解析:) – 2013-02-25 16:00:01

@MartinThompson，哈哈，是的我在MATLAB中做了解析。不過謝謝你的領導。 – Veridian 2013-02-25 16:13:32

@ starbox，@ Martin Thompson做的「浮點測試生成器 - FPgen」有64個浮點測試向量嗎？我該如何解析它以獲得32個二進制值？ – chitranna 2014-05-01 07:55:22

的規範[發佈]集，用於FP測試向量的是那些從傑羅姆Coonen的博士論文。它們可以從IEEE獲得（位於磁帶！），但我懷疑你可以用更方便的格式找到它們，只需要搜索一下。

2013-02-22 18:51:44

發現它，不容易翻譯成有用的東西。我認爲解析上面引用的IBM文件會更容易。 – Veridian 2013-02-22 21:01:01

@starbox你從哪裏找到上述測試向量？如果它不是很麻煩，請您發佈鏈接？ – Gautam 2015-01-31 05:01:52

回答