Main Content

HDL lint ツール スクリプトの生成

サードパーティ製の lint ツールを使用する lint ツール スクリプトを生成して、生成された HDL コードをチェックできます。

HDL Coder™ では、次の lint ツール用の Tcl スクリプトを生成できます。

  • Ascent Lint

  • HDL Designer

  • Leda

  • SpyGlass

  • カスタム

サポートされているいずれかのサードパーティ製 lint ツールを指定することにより、ツール固有の既定のスクリプトを生成するか、そのスクリプトの初期化、コマンド、終了名を文字ベクトルとして指定してカスタマイズできます。カスタム lint ツールに対してスクリプトを生成する場合、初期化、コマンド、終了名を指定しなければなりません。

HDL Coder により、Tcl スクリプトに初期化、コマンドおよび終了名が書き込まれ、この Tcl スクリプトをサードパーティ製のツールで実行できます。

HDL lint ツール スクリプトの生成方法

[コンフィギュレーション パラメーター] ダイアログ ボックスの使用

  1. [コンフィギュレーション パラメーター] ダイアログ ボックスで、[HDL コード生成] 、 [EDA ツールのスクリプト] を選択します。

  2. [lint スクリプト] オプションを選択します。

  3. [lint ツールの選択] で [Ascent Lint]、[HDL Designer]、[Leda]、[SpyGlass] または [カスタム] を選択します。

  4. オプションとして、[lint の初期化]、[lint コマンド] および [lint の終了] の各 string をカスタマイズするテキストを入力します。カスタム ツールの場合、これらのフィールドを指定します。

コードの生成後、メッセージ ウィンドウに lint ツール スクリプトへのリンクが表示されます。

コマンド ラインの使用

コマンド ラインから HDL lint ツール スクリプトを生成するには、makehdl または hdlset_param を使用して HDLLintTool パラメーターを AscentLint、HDLDesigner、Leda、SpyGlass または Custom に設定します。

HDL lint ツール スクリプトの生成を無効にするには、HDLLintTool パラメーターを None に設定します。

たとえば、DUT サブシステム sfir_fixed\symmetric_fir 用に HDL コードおよび既定の SpyGlass lint スクリプトを生成するには、以下を入力します。

makehdl('sfir_fixed/symmetric_fir','HDLLintTool','SpyGlass')
コードの生成後、メッセージ ウィンドウに lint ツール スクリプトへのリンクが表示されます。

カスタムの初期化、コマンド、終了の名前をもつ HDL lint ツール スクリプトを生成するには、HDLLintTool、HDLLintInit、HDLLintTerm および HDLLintCmd パラメーターを使用します。

たとえば、次のコマンドを使用すると、カスタムの初期化、コマンド、および終了の名前をもつ、DUT サブシステム sfir_fixed\symmetric_fir のカスタム Leda lint スクリプトを生成できます。

makehdl('sfir_fixed/symmetric_fir','HDLLintTool','Leda',...
        'HDLLintInit','myInitialization','HDLLintCmd','myCommand %s',...
        'HDLLintTerm','myTermination')

カスタム lint ツール コマンドの指定

カスタム lint ツール用の lint ツール スクリプトを生成する場合、生成される Tcl スクリプト内の HDL ファイル名のプレースホルダーとして %s を使用しなければなりません。

次の形式を使用して [lint コマンド] または HDLLintCmd を指定します。

hdlset_param ('HDLLintCmd', 'custom_lint_tool_command -option1 -option2 %s')

たとえば、HDLLintCmd を設定するには、コマンド ラインで次のように入力します。ここで、lint コマンドは、custom_lint_tool_command -option1 -option2 です。

hdlset_param ('HDLLintCmd', 'custom_lint_tool_command -option1 -option2 %s')