Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

設計範囲のチェック

指定された最小および最大の信号値のチェック

関数

sldvextractサブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する
sldvoptions設計検証オプション オブジェクトの作成
sldvrunモデルの解析
sldvreportSimulink Design Verifier レポートを作成する
sldvmakeharnessハーネス モデルの生成

トピック

設計エラー検出とは

設計エラー検出解析オプションについて説明します。

設計エラー検出における派生範囲

設計範囲および派生範囲の概念を、設計エラー検出に関連して説明します。

設計エラー検出解析の実行

設計エラーの検出で推奨されるワークフローについて説明します。

指定された最小値および最大値の違反チェック

モデルを解析して、指定された設計の最小値および最大値が守られていることを検証する方法を説明します。

Design Verifier ペイン

解析オプションの指定および Simulink® Design Verifier™ 出力の構成を行います。

Design Verifier ペイン: 設計エラー検出

Simulink Design Verifier による解析モデルの実行時エラー検出方法を制御するオプションを指定します。

Simulink Design Verifier のオプション

[コンフィギュレーション パラメーター] ダイアログ ボックスの Simulink Design Verifier オプションの概要。

解析結果のレビュー

Simulink Design Verifier の [検証結果の概要] ウィンドウで解析結果をレビューする。