Simulink Design Verifier でサポートされる/サポートされない Simulink ブロック - MATLAB & Simulink

Additional Math and Discrete ライブラリのブロックはすべてサポートされています。

Commonly Used Blocks ライブラリには他のライブラリのブロックが含まれます。これらのブロックは、それぞれのライブラリの下にリストされています。

ブロック	サポートメモ
Derivative	サポートなし
Integrator	サポートなし
Integrator Limited	サポートなし
PID Controller	サポートなし
PID Controller (2DOF)	サポートなし
Second-Order Integrator	サポートなし
Second-Order Integrator Limited	サポートなし
State-Space	サポートなし
Transfer Fcn	サポートなし
Transport Delay	サポートなし
Variable Time Delay	サポートなし
Variable Transport Delay	サポートなし
Zero-Pole	サポートなし

Discontinuities ライブラリのブロックはすべてサポートされています。

ブロック	サポートメモ
Delay	サポートあり
Difference	サポートあり
Discrete Derivative	サポートあり
Discrete Filter	サポートあり
Discrete FIR Filter	サポートあり
Discrete PID Controller	サポートあり
Discrete PID Controller (2DOF)	サポートあり
Discrete State-Space	サポートなし
Discrete Transfer Fcn	サポートあり
Discrete Zero-Pole	サポートなし
Discrete-Time Integrator	サポートあり
Memory	サポートあり
Tapped Delay	サポートあり
Transfer Fcn First Order	サポートあり
Transfer Fcn Lead or Lag	サポートあり
Transfer Fcn Real Zero	サポートあり
Unit Delay	サポートあり
Zero-Order Hold	サポートあり

Logic and Bit Operations ライブラリのブロックはすべてサポートされています。

ブロック	サポートメモ
Cosine	サポートあり
Direct Lookup Table (n-D)	サポートあり
Interpolation Using Prelookup	以下の場合は部分的にサポートされます。 [内挿法] パラメーターが `[線形]` で、[テーブルの次元数] パラメーターが `4` より大きい場合。または [内挿法] パラメーターが `[線形]` で、[サブテーブル選択次元数] パラメーターが `0` でない場合。
1-D Lookup Table	[内挿法] または [外挿法] パラメーターが `[3 次スプライン]` となっている場合は部分的にサポートされます。
2-D Lookup Table	[内挿法] または [外挿法] パラメーターが `[Akima スプライン]` となっている場合はサポートされません。
n-D Lookup Table	以下の場合は部分的にサポートされます。 [内挿法] または [外挿法] パラメーターが `[3 次スプライン]` となっている場合。または [内挿法] パラメーターが `[線形]` で、[テーブルの次元数] パラメーターが `5` より大きい場合。 [内挿法] または [外挿法] パラメーターが `[Akima スプライン]` となっている場合はサポートされません。
Lookup Table Dynamic	サポートあり
Prelookup	サポートあり
Sine	サポートあり

ブロック	サポートメモ
Abs	サポートあり
Add	サポートあり
Algebraic Constraint	サポートあり
Assignment	サポートあり
Bias	サポートあり
Complex to Magnitude-Angle	サポートあり
Complex to Real-Imag	サポートあり
Divide	サポートあり
Dot Product	サポートあり
Find Nonzero Elements	サポートなし
Gain	サポートあり
Magnitude-Angle to Complex	サポートあり
Math Function	サポートあり。関数 `pow` のサポートは整数の指数のみに制限されます。
Matrix Concatenate	サポートあり
MinMax	サポートあり
MinMax Running Resettable	サポートあり
Permute Dimensions	サポートあり
Polynomial	サポートあり
Product	サポートあり
Product of Elements	サポートあり
Real-Imag to Complex	サポートあり
Reciprocal Sqrt	一部サポート
Reshape	サポートあり
Rounding Function	サポートあり
Sign	サポートあり
Signed Sqrt	一部サポート
Sine Wave Function	一部サポート
Slider Gain	サポートあり
Sqrt	一部サポート
Squeeze	サポートあり
Subtract	サポートあり
Sum	サポートあり
Sum of Elements	サポートあり
Trigonometric Function	[関数] が `[sin]`、`[cos]` または `[sincos]` で、[近似法] が `[CORDIC]` の場合はサポートされます。それ以外の場合は部分的にサポートされます。
Unary Minus	サポートあり
Vector Concatenate	サポートあり
Weighted Sample Time Math	サポートあり

Model Verification ライブラリのブロックはすべてサポートされています。

ブロック	サポートメモ
Block Support Table	サポートあり
DocBlock	サポートあり
Model Info	サポートあり
Timed-Based Linearization	サポートなし
Trigger-Based Linearization	サポートなし

ブロック	サポートメモ
Atomic Subsystem	サポートあり
Code Reuse Subsystem	サポートあり
Configurable Subsystem	サポートあり
Enable	サポートあり
Enabled Subsystem	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled Subsystem をショートサーキットとして扱います。
Enabled and Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled and Triggered Subsystem をショートサーキットとして扱います。
For Each	以下の制限付きでサポート: For Each Subsystem に Simulink Design Verifier の Test Condition、Test Objective、Proof Assumption、または Proof Objective ブロックが 1 つ以上含まれている場合は、サポートされません。 For Each Subsystem のマスクパラメーターが分割されている場合は、サポートされません。
For Each Subsystem	以下の制限付きでサポート: For Each Subsystem に Simulink Design Verifier の Test Condition、Test Objective、Proof Assumption、または Proof Objective ブロックが 1 つ以上含まれている場合は、サポートされません。 For Each Subsystem のマスクパラメーターが分割されている場合は、サポートされません。
For Iterator Subsystem	サポートあり
Function-Call Feedback Latch	サポートあり
Function-Call Generator	サポートあり
Function-Call Split	サポートあり
Function-Call Subsystem	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。
If	パラメーターコンフィギュレーションはサポートされません。解析は、If ブロックで指定されたすべてのパラメーターコンフィギュレーションを無視します。
If Action Subsystem	サポートあり
In Bus Element	サポートあり
Inport	サポートあり
Model	Model ブロックのサポートの制限事項で説明される制限を除き、サポートされます。
Out Bus Element	サポートあり
Outport	サポートあり
Resettable Subsystem	サポートあり
Subsystem	サポートあり
Variant Transitions in Stateflow (Stateflow)	サポートあり。アクティブなバリアントのみを解析します。
Switch Case	サポートあり
Switch Case Action Subsystem	サポートあり
Trigger	サポートあり
Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled Subsystem をショートサーキットとして扱います。
Variant Subsystem	[プリプロセッサの条件を生成] パラメーターが有効な場合はサポートされません。アクティブなバリアントのみを解析します。
While Iterator Subsystem	サポートあり

Signal Attributes ライブラリのブロックはすべてサポートされています。

ブロック	サポートメモ
Bus Assignment	サポートあり
Bus Creator	サポートあり
Bus Selector	サポートあり
Data Store Memory	サポートあり
Data Store Read	サポートあり
Data Store Write	サポートあり
Demux	サポートあり
Environment Controller	サポートあり
From	サポートあり
Goto	サポートあり
Goto Tag Visibility	サポートあり
Index Vector	サポートあり
Manual Switch	Manual Switch ブロックはこのソフトウェアに対応していますが、モデル解析ではこのブロックを無視します。解析で、このブロックのカバレッジオブジェクティブが達成されるかどうかのフラグが立つことはありません。 Manual Switch ブロックについてモデルカバレッジデータが収集されます。
Merge	サポートあり
Multiport Switch	サポートあり
Mux	サポートあり
Selector	サポートあり
Switch	サポートあり
Vector Concatenate	サポートあり

ブロック	サポートメモ
Display	サポートあり
Floating Scope	サポートあり
Outport (Out1)	サポートあり
Out Bus Element	サポートあり
Scope	サポートあり
Stop Simulation	サポートなし
Terminator	サポートあり
To File	サポートあり
To Workspace	サポートあり

ブロック	サポートメモ
Band-Limited White Noise	サポートなし
Chirp Signal	一部サポート
Clock	サポートあり
Constant	[定数値] が `inf` または `nan` でない限りサポートされます (これらの場合はサポートされません)。
Counter Free-Running	サポートあり
Counter Limited	サポートあり
Digital Clock	サポートあり
Enumerated Constant	サポートあり
From File	一部サポート。MAT ファイルデータが MATLAB^® `timeseries` 形式で保存されている場合、サポートされません。
From Workspace	一部サポート
Ground	サポートあり
Inport (In1)	サポートあり
In Bus Element	`Simulink.Bus` 型が In Bus Element で定義されている場合はサポートされます。
Pulse Generator	サポートあり
Ramp	サポートあり
Random Number	サポートなし
Repeating Sequence	一部サポート
Repeating Sequence Interpolated	一部サポート
Repeating Sequence Stair	サポートあり
Signal Builder	サポートなし
Signal Editor	サポートなし
Signal Generator	波形が `sine` の場合は部分的にサポートされます。波形が `square` の場合はサポートされます。波形が `random` の場合はサポートされません。
Sine Wave	一部サポート
Step	サポートあり
Uniform Random Number	サポートなし

ブロック	サポートメモ
Initialize Function	Parameter Writer ブロックを含む Initialize function ではサポートされません。サブシステム解析のターゲットとしてはサポートされません。
Interpreted MATLAB Function	一部サポート
Level-2 MATLAB S-Function	制限事項については、S-Function および C/C++ コードのサポートの制限事項と考慮事項を参照してください。
MATLAB Function	制限事項については、MATLAB のコード生成のサポートの制限事項を参照してください。
MATLAB System	判定、条件、および MCDC カバレッジオブジェクティブはテスト生成でサポートされています。拡張 MCDC オブジェクティブ、関係演算子の境界オブジェクティブ、およびカスタムテストオブジェクティブはサポートされていません。カスタム証明オブジェクティブはプロパティ証明でサポートされていません。さらなる制限については、MATLAB のコード生成のサポートの制限事項を参照してください。代入ステートメントの論理式は、カバレッジオブジェクティブ用に解析されていません。
Reset Function	サポートなし
S-Function Builder	制限事項については、S-Function および C/C++ コードのサポートの制限事項と考慮事項を参照してください。
Simulink Function	エクスポート関数モデルの詳細については、エクスポート関数モデルの解析を参照してください。非エクスポート関数モデル参照内のグローバル Simulink 関数はサポートされません。
Terminate Function	一部サポート。 Terminate function の動作は無視され、解析中に空の関数に置き換えられます。サブシステム解析のターゲットとしてはサポートされません。
Observer Reference (Simulink Test)	制限付きでサポート。オブザーバーによる検証ロジックの分離を参照してください。
Simscape Library	サポートなし