インテル® FPGA SDK for OpenCL™プロ・エディション: プログラミング・ガイド

ID 683846
日付 4/01/2019
Public
ドキュメント目次

12.1.4. RTLモジュールの検証

OpenCL™ライブラリーの作成者は、ライブラリーのRTLモジュールを独立したエンティティーとして、またOpenCLシステムの一部として検証する責任があります。
  1. 各RTLモジュールを、標準のハードウェア検証方法にて検証します。
  2. インテル® FPGA SDK for OpenCL™ ライブラリー・デザイン例の1つを変更し、OpenCLシステム全体においてRTLモジュールをテストします。
    この手順は、ライブラリーのユーザーがハードウェアの問題に直面しないようにするために重要です。

    XML仕様ファイルのATTRIBUTES要素の値を正しく設定していることが重要です。OpenCLシステム全体をシミュレーションすることはできないため、インターフェイス・レベルのエラーによって発生する問題は、ハードウェアを動作させるまで検出されない可能性があります。

  3. 注: インテル® FPGA SDK for OpenCL™ libraryユーティリティーは、XML仕様ファイルとソースファイルの整合性を確認しますが、それにはいくつかの制限があります。
    aocl library [<command option>]コマンドを呼び出します。
    • サポートされている <command options> リストは、 aocl library コマンドで呼び出します。
    • libraryユーティリティーは、XML仕様ファイルのATTRIBUTESMEM_INPUTAVALON_MEM要素内の要素に割り当てられている値のエラーを検出しません。
    • library ユーティリティーは、RTL構文のエラーを検出しません。RTL構文のエラーについては、 <your_kernel_filename>/quartus_sh_compile.logファイルを確認する必要があります。ただし、エラーの解析には時間を要する可能性があります。