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