このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
lint スクリプトのパラメーター
このページでは、[コンフィギュレーション パラメーター] ダイアログ ボックスの [HDL コード生成] 、 [EDA ツールのスクリプト] 、 [lint スクリプト] タブにあるコンフィギュレーション パラメーターについて説明します。
HDL lint ツールの選択
HDL lint スクリプトの生成を有効または無効にし、HDL Coder™ でスクリプトを生成する HDL lint ツールを選択します。
HDL lint ツールの選択後、[lint の初期化]、[lint コマンド] および [lint の終了] フィールドが有効になります。
依存関係
サポートされているサードパーティ製のツールに HDL lint ツールを設定する場合、[lint の初期化]、[lint コマンド]、および [lint の終了] の既定値を変更せずに Tcl スクリプトを生成できます。[lint の初期化]、[lint コマンド]、および [lint の終了] に既定値が設定されている場合、HDL Coder は、ツール固有の既定の初期化、コマンド、および終了文字列を Tcl スクリプトに自動的に書き込みます。
設定
既定の設定: なし
なし
[なし]
を選択すると、lint スクリプトは生成されません。[lint スクリプト] ペインのフィールドがクリアされ、無効になります。Ascent Lint
Real Intent Ascent Lint 用の lint スクリプトを生成します。
HDL Designer
Mentor Graphics® HDL Designer 用の lint スクリプトを生成します。
Leda
Synopsys® Leda 用の lint スクリプトを生成します。
SpyGlass
Atrenta SpyGlass 用の lint スクリプトを生成します。
カスタム
カスタムの合成スクリプトを生成します。
コマンド ライン情報
プロパティ: HDLLintTool |
型: 文字ベクトル |
値: 'None' | 'AscentLint' | 'Leda' | 'SpyGlass' | 'Custom' |
既定の設定: 'None' |
このプロパティを設定するには、関数 hdlset_param
または makehdl
を使用します。プロパティの値を表示するには、関数 hdlget_param
を使用します。
参考
lint の初期化
HDL lint スクリプトの初期化テキストを入力します。
依存関係
[lint の初期化] を既定値 ''
に設定し、HDLLintCmd
をサポートされているサードパーティ製のツールの 1 つに設定した場合、HDL Coder は、ツール固有の既定の終了文字列を Tcl スクリプトに自動的に挿入します。
コマンド ライン情報
プロパティ: HDLLintInit |
型: 文字ベクトル |
既定の設定: なし |
このプロパティを設定するには、関数 hdlset_param
または makehdl
を使用します。プロパティの値を表示するには、関数 hdlget_param
を使用します。
参考
lint コマンド
HDL lint スクリプトのコマンドを入力します。
コマンド ライン情報
プロパティ: HDLLintCmd |
型: 文字ベクトル |
既定の設定: なし |
このプロパティを設定するには、関数 hdlset_param
または makehdl
を使用します。プロパティの値を表示するには、関数 hdlget_param
を使用します。
HDLLintTool
を Custom
に設定する場合、生成された Tcl スクリプト内の HDL ファイル名のプレースホルダーとして %s
を使用しなければなりません。次の形式を使用して HDLLintCmd
を指定します。
custom_lint_tool_command -option1 -option2 %s
参考
lint の終了
HDL lint スクリプトの終了文字ベクトルを入力します。
依存関係
[lint の終了] を既定値 ''
に設定し、HDLLintCmd
をサポートされているサードパーティ製のツールの 1 つに設定した場合、HDL Coder は、ツール固有の既定の終了文字列を Tcl スクリプトに自動的に挿入します。
コマンド ライン情報
プロパティ: HDLLintTerm |
型: 文字ベクトル |
既定の設定: なし |
このプロパティを設定するには、関数 hdlset_param
または makehdl
を使用します。プロパティの値を表示するには、関数 hdlget_param
を使用します。