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