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 アサーションを作成します。ブロックパラメーターを使用すると、次のことが可能になります。

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

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

  • Simulink がシミュレーションを停止するか、継続するがアサーションが失敗した場合に警告を表示するかを選択します。

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

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

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

例

Simulinkからネイティブ SystemVerilog アサーションを生成する

Simulinkからネイティブ SystemVerilog アサーションを生成する

この例では、 Simulink®モデルのアサーションからネイティブ SystemVerilog アサーションを生成する方法を示します。この機能は、 Simulinkと HDL テスト環境で同じアサーション動作が必要な場合に役立ちます。

スクリプトを開く

端子

入力

すべて展開する

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

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

パラメーター

すべて展開する

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

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

依存関係

このパラメーターを有効にするには、 Enable assertionパラメーターを選択します。

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

依存関係

このパラメーターを有効にするには、 Enable assertionパラメーターを選択します。

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

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

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

依存関係

このパラメーターを有効にするには、 Enable assertionパラメーターを選択します。

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

例: RX fail

依存関係

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

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

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

依存関係

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

バージョン履歴

R2018a で導入

参考

トピック