使用模型切片器检查死逻辑
如果某个模块存在死逻辑，则死逻辑的根本原因可能不在该模块中，或者可能在该模块的上游或下游。在这种场景下，您可以使用模型切片器来追踪死逻辑的根本原因。此示例向您展示如何调查发生死逻辑的可能原因。
打开模型
使用以下命令打开模型 deadlogic：
open_system('deadlogic');执行设计错误检测分析
1.在 Design Verifier 选项卡的模式部分中，选择设计错误检测。
2.点击错误检测设置。在配置参数对话框中，启用死逻辑选项。
3.在 Design Verifier 选项卡中，点击检测设计错误。
查看分析结果
1.等待分析完成并利用结果窗口仔细阅读死逻辑。派生范围部分下列出的输入信号值在结果窗口中突出显示。
2.点击具有死逻辑的模块的上游和下游，查看输入和输出信号可以接受的值范围。
3.要检查 Switch 模块的死逻辑的原因，请选择检查选项来启动切片器工具。
4.在此示例中，以实心红色突出显示的上游模块可能是导致死逻辑的原因，并显示为切片器中的起点。青色模块连接上游或下游，也是死逻辑，在切片器中显示为排除点。您可以从突出显示的红色模块开始调查死逻辑的原因。
5.在这个例子中，常量模块是导致关系运算符模块中死逻辑的原因，这解释了为什么 Switch 模块的逻辑触发输入 FALSE 是死逻辑 .
