为依赖关系分析细化死逻辑
要为依赖关系分析细化模型中的死逻辑，请使用模型切片器。为提供精确的切片，模型切片器利用 Simulink® Design Verifier™ 死逻辑分析来删除模型中所有不可达的路径。模型切片器会识别死逻辑，并为依赖关系分析细化模型切片。有关死逻辑的详细信息，请参阅死逻辑检测 (Simulink Design Verifier)。
分析死逻辑
此示例说明如何细化模型中的死逻辑。sldvSlicerdemo_dead_logic 模型包含死逻辑路径，需细化后方可执行依赖关系分析。
1.打开 sldvSlicerdemo_dead_logic 模型。
2.在 App 选项卡的模型验证、确认和测试库下，点击模型切片器。
open_system('sldvSlicerdemo_dead_logic');
打开 Controller 子系统，并将 throt 输出端口添加为起点。
模型切片器会突出显示 throt 输出端口的上游依赖项。
2.在模型切片管理器中，选择细化死逻辑。
3.点击获取死逻辑数据。
4.指定分析时间并运行分析。您可以从 sldvData 文件中导入现有的死逻辑结果或加载现有的 .slslicex 数据以进行分析。有关详细信息，请参阅使用现有的 .slslicex 或死逻辑结果来优化突出显示的模型。
由于 set 输入等于 true，因此为依赖关系分析删除了开关的 False 输入。类似地，模块 OR 的输出始终为 true，因此被从模型切片中删除。
