私は、32ビット単精度浮動小数点乗算器と、Verilogの別々の加算/減算ユニットを設計しました。浮動小数点ユニットのテストベクタ
私が書いたMATLABには、ランダムな浮動小数点数を生成し、Verilogでテストベンチを生成するスクリプトがあります。
ncverilogシミュレーションの結果とMATLABの結果を比較して、乗算器が正しく機能し、加算/減算器が正常に動作することを確認しました。
しかし、浮動小数点ユニットをテストするテストケースのリストを知りたいと思います。そのようなリストはありますか?私はSoftfloatのようないくつかのプログラムを知っていますが、Verilogテストベンチとマージするのではなく、コンピュータの浮動小数点をテストします。
私のユニットは、オーバーフロー、アンダーフローなどの例外をサポートしておらず、非正規化された値もサポートしていないことにも言及してください。丸めモードは、最も近い丸めモードです。
ありがとうございました!
これは有望に見える:https://www.research.ibm.com/cgi-bin/haifa/test_suite_download.pl?first=elenag&second=ウェブマスター – Tim
はい、そうです、これらのファイルを解析するのは厄介な部分になります。ありがとうございました。 – Veridian
私は何年も前にFPUで作業していましたが、最初のカバレッジのための独自のテストベクタを構築するために以下の論文を使用し、バグを根絶するのに役立ちました:N.L. Schryerコンピュータの浮動小数点演算ユニットのテスト。テクニカルレポート89、AT&T Bell Laboratories、1981. – njuffa