1.sldvSlicerdemo_dead_logicモデルを開きます。

2.[モデルの検証とテスト]ギャラリーの下の[アプリ]タブで,[モデルスライサー]をクリックします。

open_system (“sldvSlicerdemo_dead_logic”）;

控制器サブシステムを開いて,出力端子throtを開始点として追加します。

モデルスライサーで,throt出力端子の上流の依存関係が強調表示されます。

2.モデルスライスマネージャーで,[デッドロジックの調整)を選択します。

3.[デッドロジックデータの取得)をクリックします。

4.[解析時間]を指定して解析を実行します。既存のデッドロジック結果をsldvDataファイルからインポートしたり,既存の.slslicexデータを解析用に読み込むことができます。詳細については,既存の.slslicexまたはデッドロジック結果を使用した強調表示されたモデルの調整を参照してください。

集入力が真正的と等しいため,スイッチへの假入力は,依存関係の解析に備えて削除されます。同様に,ブロック或の出力は常に真正的であるため,モデルスライスから削除されます。