Main Content

このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

デッド ロジックの検出

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

関数

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

トピック