このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

Simulink^® Design Verifier™ は、さまざまなレベルの Simulink ブロックのサポートを提供します。

• サポートあり

• サポートなし

解析のスケーラビリティを高めるため、自動スタブではブロックの動作が保守的に抽象化されます。そのため、一部のオブジェクティブが正常に解析されない可能性があります。自動スタブの詳細については、自動スタブによる非互換性処理を参照してください。

次の表に Simulink ブロックに対する Simulink Design Verifier の解析のサポートの概要を示します。それぞれの表では、Simulink ライブラリのブロックをリストし、さらにそのブロックに対するサポート情報も記載します。

 Additional Math and Discrete ライブラリ

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

 Commonly Used Blocks ライブラリ

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

 Continuous ライブラリ

ブロック	サポート メモ
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 ライブラリ

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

 Discrete ライブラリ

ブロック	サポート メモ
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 ライブラリ

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

 Lookup Tables ライブラリ

ブロック	サポート メモ
Cosine	サポートあり
Direct Lookup Table (n-D)	サポートあり
Interpolation Using Prelookup	サポートあり
1-D Lookup Table	[内挿法] または [外挿法] パラメーターが [Akima スプライン] となっている場合はサポートされません。
2-D Lookup Table	[内挿法] または [外挿法] パラメーターが [Akima スプライン] となっている場合はサポートされません。
n-D Lookup Table	[内挿法] または [外挿法] パラメーターが [Akima スプライン] となっている場合はサポートされません。
Lookup Table Dynamic	サポートあり
Prelookup	サポートあり
Sine	サポートあり

 Math Operations ライブラリ

ブロック	サポート メモ
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	サポートあり
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	サポートあり
Unary Minus	サポートあり
Vector Concatenate	サポートあり
Weighted Sample Time Math	サポートあり

 Model Verification ライブラリ

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

 Model-Wide Utilities ライブラリ

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

 Ports & Subsystems ライブラリ

ブロック	サポート メモ
Atomic Subsystem	サポートあり
Code Reuse 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	サポートあり
For Iterator Subsystem	サポートあり
Function-Call Feedback Latch	サポートあり
Function-Call Generator	サポートあり
Function-Call Split	サポートあり
Function-Call Subsystem	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。
Function Element	サポートなし
Function Element Call	サポートなし
If	パラメーター コンフィギュレーションはサポートされません。解析は、If ブロックで指定されたすべてのパラメーター コンフィギュレーションを無視します。
If Action Subsystem	サポートあり
In Bus Element	サポートあり
Inport	サポートあり
Model	サポートあり
Message Polling Subsystem	サポートなし
Message Triggered Subsystem	サポートなし
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	[バリアントのアクティベーションのタイミング] が startup に設定されている場合、Simulink Design Verifier はすべてのバリアントの選択肢を解析します。その他のタイプの [バリアントのアクティベーションのタイミング] については、Simulink Design Verifier はアクティブなバリアントの選択肢のみを解析します。
While Iterator Subsystem	サポートあり

 Signal Attributes ライブラリ

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

 Signal Routing ライブラリ

ブロック	サポート メモ
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	サポートあり

 Sinks ライブラリ

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

 Sources ライブラリ

ブロック	サポート メモ
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 Editor	サポートなし
Signal Generator	波形が random の場合はサポートされません。
Sine Wave	サポートあり
Step	サポートあり
Uniform Random Number	サポートなし

 Toolbox ライブラリ

Toolbox ライブラリ	サポート メモ
Simscape™	サポートなし
Vehicle Network Toolbox™	サポートなし

 User-Defined Functions ライブラリ

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