Main Content

このページは機械翻訳を使用して翻訳されました。元の英語を参照するには、ここをクリックします。

Assertion

SimulinkアサーションからSystemVerilogアサーションを生成する

アドオンが必要: この機能には ASIC Testbench for HDL Verifier アドオンが必要です。

  • Assertion block

ライブラリ:
HDL Verifier / For Use with DPI-C SystemVerilog

説明

Assertion ブロックは、入力信号がゼロ以外であることを示します。入力がゼロの場合、ブロックはデフォルトでシミュレーションを停止し、エラー メッセージを表示します。DPI-C SystemVerilog コンポーネントを生成すると、ブロックは即座に SystemVerilog アサーションを作成します。ブロック パラメータを使用すると、次のことが可能になります。

  • アサーションを有効または無効にします。

  • アサーションが失敗したときに評価する Simulink® の MATLAB® 式を指定します。

  • Simulink を選択すると、シミュレーションを停止するか、アサーションが失敗したときに警告を表示しながら続行するかを選択できます。

DPI-C パラメータを使用してランタイム オプションを制御します。

  • 生成されたアサーションの重大度を指定します。

  • アサーションが失敗した場合のカスタム メッセージまたはアクションを指定します。

端子

入力

すべて展開する

Assertion ブロックは、Simulink がサポートする任意の次元と数値データ型の入力信号を受け入れます。

データ型: single | double | int8 | int16 | int32 | uint8 | uint16 | uint32 | Boolean | fixed point

パラメーター

すべて展開する

このチェックボックスを選択すると、ブロックはシミュレーションの警告またはエラーを表示できるようになります。また、これにより、ブロックは生成されたコード内に SystemVerilog アサーションを作成できるようになります。このチェックボックスをオフにすると、シミュレーションでのアサーションが無効になり、SystemVerilog アサーションは生成されません。

アサーションが失敗したときに評価する Simulink の MATLAB 式を指定します。ブロックは、生成された DPI-C アサーション内のこのパラメータを無視します。

依存関係

このパラメーターを有効にする場合は、[アサーションを有効にする] パラメーターを選択します。

このチェックボックスを選択すると、ブロック入力がゼロの場合に Simulink はシミュレーションを停止し、エラーを表示します。このチェックボックスをオフにすると、Simulink はシミュレーションを続行し、ブロック入力がゼロのときに警告を表示します。ブロックは、生成された DPI-C アサーション内のこのパラメータを無視します。

依存関係

このパラメーターを有効にする場合は、[アサーションを有効にする] パラメーターを選択します。

DPI-C アサーション オプション

これらのパラメータを使用して、SystemVerilog シミュレーション環境で生成された DPI-C アサーションの動作を制御します。DPI-C アサーションの生成を有効にするには、Enable assertion を選択します。

SystemVerilog エラーまたは警告メッセージを発行するには、DPI-C アサーションに error または warning を選択します。カスタム コマンドを実行するには、custom に設定します。

依存関係

このパラメーターを有効にする場合は、[アサーションを有効にする] パラメーターを選択します。

SystemVerilog アサーションが失敗したときに出力されるカスタム SystemVerilog メッセージを指定します。この機能は ASCII 文字のみをサポートします。

例: RX fail

依存関係

このパラメータを有効にするには、Severityerror または warning に設定します。

アサーションが失敗したときに実行するカスタム SystemVerilog コマンドを指定します。このパラメータは、表示ステートメント、コマンド、またはスクリプトとして設定できます。この機能はASCII文字のみをサポートします

例: $display("RX fail at %0t", $time);

依存関係

このパラメータを有効にするには、Severitycustom に設定します。

バージョン履歴

R2018a で導入