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

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

R2025b

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

• 完全サポート

• 一部サポート

• サポートなし

サポートされないブロックがモデルに含まれる場合、自動スタブを有効にできます。自動スタブでは、サポートされないブロックのインターフェイスは考慮されますが、その動作は考慮されません。ただし、サポートされないブロックのいずれかがシミュレーション結果に影響する場合は、解析では一部の結果しか得られない可能性があります。自動スタブについての詳細は、自動スタブによるモデルの複雑度の処理 (Simulink Design Verifier)を参照してください。

100% のカバレッジを達成するためには、サポートされないブロックの解析するモデルでの使用は避けてください。同様に、部分的にサポートされるブロックでは、このソフトウェアが認識するブロック パラメーターのみを指定します。

次の表に 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)を参照してください。 テスト生成中、Simulink Design Verifier は、Enabled Subsystem をショートサーキットとして扱います。
Enabled and Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。 設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの指定された最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェック (Simulink Design Verifier)を参照してください。 テスト生成中、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	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの指定された最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェック (Simulink Design Verifier)を参照してください。
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)を参照してください。 テスト生成中、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 のコード生成に対する Simulink Design Verifier の制限事項 (Simulink Design Verifier)を参照してください。
MATLAB System	判定カバレッジ オブジェクティブ、条件カバレッジ オブジェクティブ、MCDC カバレッジ オブジェクティブは Test Generation でサポートされています。拡張 MCDC オブジェクティブ、関係演算子の境界オブジェクティブ、およびカスタム テスト オブジェクティブはサポートされていません。 カスタム証明オブジェクティブはプロパティ証明でサポートされていません。 さらなる制限については、MATLAB のコード生成に対する Simulink Design Verifier の制限事項 (Simulink Design Verifier)を参照してください。 代入ステートメント内の論理式は、カバレッジ オブジェクティブ用に解析されません。
Reset Function	サポートあり。
Reinitialize Function	サポートあり。
S-Function Builder	制限事項については、S-Function と C/C++ コードに対する Simulink Design Verifier の制限事項と考慮事項 (Simulink Design Verifier)を参照してください。
Simulink Function	エクスポート関数モデルについては、エクスポート関数モデルの解析 (Simulink Design Verifier)を参照してください。 エクスポート関数モデルの参照以外ではグローバルな Simulink 関数はサポートされません。
Terminate Function	サポートあり。
Observer Reference (Simulink Test)	サポートあり。

参考

トピック

• Simulink ソフトウェア機能のサポートの制限事項
• Stateflow 機能における Simulink Design Verifier の制限事項