主要内容

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

設計範囲のチェック

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

関数

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

トピック

設計エラー検出とは

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

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

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

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

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

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

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

设计验证器ペイン

解析オプションの指定および万博1manbetx®设计验证器™出力の構成を行います。

设计验证器ペイン:設計エラー検出

万博1manbetx仿真软件设计验证器による解析モデルの実行時エラー検出方法を制御するオプションを指定します。

万博1manbetx仿真软件设计校验のオプション

[コンフィギュレーションパラメーター]ダイアログボックスの万博1manbetx仿真软件设计验证器オプションの概要。

解析結果のレビュー

万博1manbetx仿真软件设计验证器の(検証結果の概要]ウィンドウで解析結果をレビューする。