このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Simulink Design Verifier でサポートされる/サポートされない Simulink ブロック
Simulink® Design Verifier™ は、さまざまなレベルの Simulink ブロックのサポートを提供します。
サポートあり
サポートなし
解析のスケーラビリティを高めるため、自動スタブではブロックの動作が保守的に抽象化されます。そのため、一部のオブジェクティブが正常に解析されない可能性があります。自動スタブの詳細については、自動スタブによる非互換性処理を参照してください。
次の表に Simulink ブロックに対する Simulink Design Verifier の解析のサポートの概要を示します。それぞれの表では、Simulink ライブラリのブロックをリストし、さらにそのブロックに対するサポート情報も記載します。
Additional Math and Discrete ライブラリ
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 ライブラリ
Logic and Bit Operations ライブラリのブロックはすべてサポートされています。
| ブロック | サポート メモ |
|---|---|
| Cosine | サポートあり |
| Direct Lookup Table (n-D) | サポートあり |
| Interpolation Using Prelookup | サポートあり |
| 1-D Lookup Table | [内挿法] または [外挿法] パラメーターが |
| 2-D Lookup Table | [内挿法] または [外挿法] パラメーターが |
| n-D Lookup Table | [内挿法] または [外挿法] パラメーターが |
| 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 | サポートあり |
| 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 ライブラリのブロックはすべてサポートされています。
| ブロック | サポート メモ |
|---|---|
| Block Support Table | サポートあり |
| DocBlock | サポートあり |
| Model Info | サポートあり |
| Timed-Based Linearization | サポートなし |
| Trigger-Based Linearization | サポートなし |
| ブロック | サポート メモ |
|---|---|
| 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 | [バリアントのアクティベーションのタイミング] が |
| 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 Editor | サポートなし |
| Signal Generator | 波形が random の場合はサポートされません。 |
| Sine Wave | サポートあり |
| Step | サポートあり |
| Uniform Random Number | サポートなし |
| Toolbox ライブラリ | サポート メモ |
|---|---|
| Simscape™ | サポートなし |
| Vehicle Network Toolbox™ | サポートなし |
| ブロック | サポート メモ |
|---|---|
| C Function | サポートあり |
| C Caller | サポートあり。 |
| Initialize Function |
|
| Interpreted MATLAB Function | サポートあり |
| Level-2 MATLAB S-Function | サポートなし。 |
| MATLAB Function | 制限事項については、MATLAB のコード生成のサポートの制限事項を参照してください。 |
| MATLAB System |
代入ステートメントの論理式は、カバレッジ オブジェクティブ用に解析されていません。 |
| Reset Function | サポートあり。 |
| Reinitialize Function | サポートあり。 |
| S-Function Builder | 制限事項については、S-Function および C/C++ コードのサポートの制限事項と考慮事項を参照してください。 |
| Simulink Function |
|
| Terminate Function | サポートあり。 |
| Observer Reference (Simulink Test) | サポートあり。 |
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)