Check Input Resolution

入力信号が指定された分解能をもつかどうかのチェック

• 

×

ライブラリ:
Simulink / Model Verification
HDL Coder / Model Verification

説明

Check Input Resolution ブロックは、入力信号が指定された分解能をもつかどうかをチェックします。ブロック入力および分解能はスカラーまたはベクトルのいずれかになります。入力および分解能は同じデータ型でなければなりません。

[分解能] パラメーターがスカラーの場合、ブロックは指定されたスカラーの分解能に対する入力信号の絶対値を計算します。その後、計算された絶対値は 10e-3 の許容誤差と比較され、比較後にアサーションが実行されます。絶対値が許容誤差未満であった場合、アサーションは true (1) であり、ブロックは処理を行いません。そうでない場合、既定の設定ではブロックはシミュレーションを停止してエラー メッセージを返します。[分解能] パラメーターがベクトルの場合、入力信号の値が分解能ベクトルの要素のいずれかと等しければ true (1) をアサートします。

ブロックは、信号および分解能の次元に応じて、いくつかの追加の方法で入力を分解能と比較します。

• スカラー入力信号または分解能をベクトル入力信号または分解能と比較する場合、ブロックはスカラーをベクトルの各要素と比較します。

• ベクトル入力信号をベクトル分解能と比較する場合、ブロックは入力信号を分解能と要素単位で比較します。

• 入力信号および分解能が両方ともベクトルであるモデルの場合、入力信号および分解能は次元が同じでなければなりません。

例

Check Input Resolution ブロックによる信号の関連付けのチェック

このモデルは Check Input Resolution ブロックを使用して Repeating Sequence Stair ブロックの分解能をチェックします。

モデルを開く

端子

入力

Port_1 — 分解能についてチェックされる入力信号

スカラー | ベクトル

[分解能] パラメーターで指定された分解能についてブロックでチェックする入力信号。

データ型: double

出力

Port_1 — アサーション出力信号

スカラー

アサーションが成功した場合は true (1)、アサーションが失敗した場合は false (0) になる出力信号。[コンフィギュレーション パラメーター] ウィンドウで、[数学とデータ型] セクションの [詳細設定パラメーター] の下で [boolean データとして論理信号を処理] を選択すると、出力のデータ型は Boolean になります。それ以外の場合、信号のデータ型は double です。

依存関係

この端子を有効にするには、[アサーション信号の出力] を選択します。

データ型: double | Boolean

パラメーター

分解能 — 入力信号と比較する分解能の値

スカラー | ベクトル

入力信号の分解能の要件を指定します。

プログラムでの使用

パラメーター: resolution

型: string スカラーまたは文字ベクトル

既定の設定: "1"

アサーションを有効にする — チェックを有効化または無効化

on (既定値) | off

このパラメーターをオフにすると、ブロックが無効になり、モデルはこのブロックが存在しない場合と同じ動作をします。すべての検証ブロックを有効または無効にするには、このオプションの設定にかかわらず、[コンフィギュレーション パラメーター] ウィンドウへ移動し、[診断] 、 [データ有効性] をクリックして [詳細設定パラメーター] セクションを展開し、[Model Verification ブロックを有効にする] を Enable all または Disable all に設定します。

プログラムでの使用

パラメーター: enabled

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "on"

アサーションの失敗時のシミュレーション コールバック (オプション) — アサーションが失敗したときに評価する式

"" (既定値) | MATLAB 式

アサーションが失敗したときに評価する MATLAB^® 式を指定します。式は MATLAB ワークスペースで評価されるため、そのワークスペース内の式に使用されるすべての変数を定義します。

依存関係

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

プログラムでの使用

パラメーター: callback

型: string スカラーまたは文字ベクトル

既定の設定: ""

アサーションが失敗したときにシミュレーションを中止 — チェックに失敗したときにシミュレーションを停止するかどうか

on (既定値) | off

チェックに失敗したときにシミュレーションを停止するには、このパラメーターをオンにします。このパラメーターをオフにすると、警告が表示され、シミュレーションは続行されます。

プログラムでの使用

パラメーター: stopWhenAssertionFail

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "on"

アサーション信号の出力 — 出力信号を作成

off (既定値) | on

出力端子を有効にするには、このパラメーターを選択します。

プログラムでの使用

パラメーター: export

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "off"

ブロックの特性

データ型	double
直達	いいえ
多次元信号	はい
可変サイズの信号	いいえ
ゼロクロッシング検出	いいえ

拡張機能

C/C++ コード生成

Simulink® Coder™ を使用して C および C++ コードを生成します。

Simulink^® Coder™ で生成されたコードによる Model Verification ブロックの処理方法の詳細については、デバッグ用のモデルの構成 (Simulink Coder)を参照してください。

量産コードには推奨されません。

HDL コード生成

HDL Coder™ を使用して FPGA 設計および ASIC 設計のための Verilog および VHDL のコードを生成します。

HDL Coder™ には、HDL の実装および合成されたロジックに影響する追加のコンフィギュレーション オプションがあります。

HDL アーキテクチャ

このブロックは、シミュレーション中に入力信号が指定された分解能をもつかどうかをチェックするために使用できますが、生成コードには含まれません。

PLC コード生成
Simulink® PLC Coder™ を使用して構造化テキスト コードを生成します。

バージョン履歴

R2006a より前に導入

参考

Math Function | Repeating Sequence Stair