ネイティブ浮動小数点から生成されたコードの検証

HDL Coder™ のネイティブ浮動小数点テクノロジーによって、ターゲットに依存しない HDL コードを浮動小数点設計から生成できます。汎用 FPGA または ASIC で浮動小数点設計を合成できます。浮動小数点設計では、固定小数点設計に比べて、精度が向上し、ダイナミックレンジが高くなり、開発サイクルが短縮されます。設計に複雑な算術演算および三角関数演算がある場合は、ネイティブ浮動小数点テクノロジーを使用します。

有限ビット数で無限実数を表現すると、IEEE-754 標準で指定されている正しい値の丸め範囲で丸め誤差が生じることがあります。丸め誤差を測定するには、[relative error] または [ulp error] に基づいて浮動小数点許容誤差チェックを指定できます。これらの丸め誤差の詳細については、相対精度と ULP の考慮事項を参照してください。

許容誤差手法の指定

テストベンチを生成する前に、生成されたコードを検証する浮動小数点許容誤差チェックを指定します。

[コンフィギュレーションパラメーター] ダイアログボックスで許容誤差チェックを指定するには、次の手順に従います。

[アプリ] タブで、[HDL Coder] を選択します。[HDL コード] タブが表示されます。
[設定] をクリックします。[HDL コード生成] 、 [テストベンチ] ペインの [浮動小数点許容誤差チェックの基準] で、[相対誤差] または [ULP 誤差] を指定します。
[許容誤差の値] を入力し、[適用] をクリックします。[relative error] を選択すると、既定は 1e-07 の許容誤差の値になります。[ulp error] を選択すると、既定の許容誤差の値は 0 になります。詳細については、ネイティブ浮動小数点での数値の考慮事項を参照してください。

コマンドラインで許容誤差手法を指定するには、次の手順を使用します。

FPToleranceStrategy を使用して浮動小数点許容誤差チェック設定を指定します。

% check for floating-point tolerance based on relative error 
hdlset_param('sfir_single', 'FPToleranceStrategy', 'Relative'); 

% check for floating-point tolerance based on the ULP error
hdlset_param('sfir_single', 'FPToleranceStrategy', 'ULP');

FPToleranceStrategy 設定に基づいて、FPToleranceValue を使用して許容誤差の値を入力します。

 % if using relative error, enter custom tolerance value
hdlset_param('FP_test_16a', 'FPToleranceValue', 1e-06); 

% if using ULP error, enter tolerance value greater 
% than or equal to 1
hdlset_param('FP_test_16a', 'FPToleranceValue', 1);

HDL テストベンチを使用した生成されたコードの検証

生成されたコードを検証するために HDL テストベンチを生成するには、次の手順に従います。

[コンフィギュレーションパラメーター] ダイアログボックスの [HDL コード生成] 、 [テストベンチ]ペインの [テストベンチ生成出力] で [HDL テストベンチ] を選択します。
[構成] セクションで、[ファイル I/O を使用してテストベンチデータの読み取り/書き込みを行います] が有効であるか確認します。ファイル I/O ではなく定数を使用するテストベンチを生成するには、[ファイル I/O を使用してテストベンチデータの読み取り/書き込みを行います] をクリアします。
[適用] をクリックし、[テストベンチを生成] をクリックします。

HDL テストベンチ生成方法の詳細については、テストベンチ生成を参照してください。

コシミュレーションによる生成されたコードの検証

生成されたコードを検証するコシミュレーションモデルを生成するには、次の手順に従います。

[コンフィギュレーションパラメーター] ダイアログボックスの [HDL コード生成] 、 [テストベンチ] ペインの [使用するコシミュレーションモデル] で、コシミュレーションツールを選択します。
[適用] をクリックし、[テストベンチを生成] をクリックします。
テストベンチの生成後、コシミュレーションモデルを保存します。モデルで、Compare サブシステムをダブルクリックします。
Assert_Out1 ブロックをダブルクリックすると、ブロックパラメーターに、指定した [許容誤差の値] が示されます。
Assert_Out1 ブロック内を確認するには、マスクをクリックします。[ulp error] に基づいて浮動小数点許容誤差チェックを指定すると、モデルに ULPChecker ブロックが表示されます。

ULPChecker には、数値の精度をチェックするときに HDL Coder で ULP 誤差をどのように考慮するかを示す MATLAB Function ブロックがあります。
[relative error] に基づいて浮動小数点許容誤差チェックを指定すると、モデルには RelErrCheck ブロックが示されます。

RelerrCheck には、数値の精度をチェックするときに HDL Coder で相対誤差をどのように考慮するかを示す MATLAB Function ブロックがあります。
モデルの Simulink^® エディター内でシミュレーションを開始します。コシミュレーションの終わりに、compare: Out1 のスコープをチェックします。
このスコープでは、コシミュレーションブロックからの結果の信号と DUT からの基準信号の差が比較されます。