Main Content

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

デッド ロジックの検出

機能しないロジック、無効な実行パスの検出

関数

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

トピック