このページの翻訳は最新ではありません。ここをクリックして,英語の最新版を参照してください。
sldvextract |
サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する |
sldvoptions |
設計検証オプションオブジェクトの作成 |
sldvrun |
モデルの解析 |
sldvreport |
万博1manbetx设计验证器レポートの生成 |
sldvmakeharness |
ハーネスモデルの生成 |
設計エラー検出解析オプションについて説明します。
設計範囲および派生範囲の概念を,設計エラー検出に関連して説明します。
設計エラーの検出で推奨されるワークフローについて説明します。
モデルを解析して,指定された設計の最小値および最大値が守られていることを検証する方法を説明します。
解析オプションの指定および万博1manbetx®设计验证器™出力の構成を行います。
万博1manbetx仿真软件设计验证器による解析モデルの実行時エラー検出方法を制御するオプションを指定します。
[コンフィギュレーションパラメーター]ダイアログボックスの万博1manbetx仿真软件设计验证器オプションの概要。
万博1manbetx仿真软件设计验证器の(検証結果の概要]ウィンドウで解析結果をレビューする。