主要内容
细化依赖分析的死逻辑
要优化模型中用于依赖关系分析的死逻辑，请使用模型切片器。要提供准确的切片，模型切片器将利用金宝app®设计验证器™死逻辑分析以删除模型中不可访问的路径。模型切片器识别死逻辑并细化模型切片以进行依赖关系分析。有关死逻辑的更多信息，请参阅死逻辑检测（金宝appSimulink设计验证程序）.
分析死亡逻辑
这个例子展示了如何改进死逻辑的模型sldvSlicerdemo\u死亡\u逻辑该模型由您为依赖关系分析而优化的死逻辑路径组成。
1.打开sldvSlicerdemo\u死亡\u逻辑模型
2.在网上应用程序选项卡，在下面模型验证、确认和测试图库，单击模型切片机.
开放式系统(“sldvSlicerdemo\u dead\u逻辑”);
打开控制器子系统并添加输出端口弹跳作为出发点。
模型切片器突出显示模型的上游依赖关系弹跳外埠。
2.在模型切片管理器中，选择精炼死逻辑.
3.点击获取死逻辑数据.
4.指定分析时间然后运行分析。您可以从导入现有的失效逻辑结果sldvData文件或加载现有文件.SLX用于分析的数据。有关详细信息，请参阅使用现有的.sliclex或死逻辑结果优化突出显示的模型.
作为设置输入等于符合事实的这个错误的已删除开关的输入以进行依赖关系分析。同样，块的输出或总是符合事实的并从模型切片中删除。
相关话题
您还可以从以下列表中选择网站：
