主要内容
完善依赖分析的死逻辑
为了改进模型中的无用逻辑以进行依赖关系分析，请使用model Slicer。为了提供准确的切片，模型切片器利用金宝app®设计验证器™删除模型中不可达路径的死逻辑分析。模型切片器识别死逻辑并细化模型切片以进行依赖分析。有关死亡逻辑的更多信息，请参见死的逻辑检测(金宝app仿真软件设计验证器)．
分析“死逻辑”
这个例子展示了如何为死逻辑优化模型。的sldvSlicerdemo_dead_logic模型由死逻辑路径组成，您可以对其进行依赖分析。
1.打开sldvSlicerdemo_dead_logic模型。
2.在应用程序选项卡,在模型验证、验证和测试画廊,点击模型切片机．
open_system (“sldvSlicerdemo_dead_logic”)；
打开控制器子系统，并添加出口throt作为起点。
模型切片器强调了对象的上游依赖throt外港。
2.在模型切片管理器中，选择完善死去的逻辑．
3.点击获取无用的逻辑数据．
4.指定分析时间然后进行分析。控件中的已死逻辑结果可以导入sldvData已存在的文件或加载.slslicex数据进行分析。有关更多信息，请参见使用现有的.slslicex或死逻辑结果优化突出显示的模型．
随着集输入等于真正的,假为了进行依赖分析，切换的输入被删除了。类似地，块的输出或总是真正的并从模型切片中删除。
相关的话题
你也可以从以下列表中选择一个网站:
