依赖分析简介

创建一个简化的独立模型

描述简化模型生成的案例。

突出函数依赖

使用Model Slicer来突出显示功能依赖性，并使用约束和排除来细化模型中突出显示的部分。

使用状态流模型切片器

描述使用状态流模型切片器的工作流程^®模型切片器的行为与状态流

通过使用基于活动的时间分段来突出显示活动时间间隔

使用基于活动的时间切片来突出显示和切片模拟间隔，其中所有选定的状态和转换都同时激活。

配置模型突出显示和切片模型

模型切片管理器和模型切片器选项。

为功能测试隔离模型组件

描述如何对模型组件进行切片以进行调试和细化。

以编程方式生成I/O依赖矩阵

以编程方式生成I/O依赖矩阵。

模型切片器的考虑和限制

描述模型切片机的限制和注意事项。

细化强调模型

细化强调模型

描述如何使用模拟时间和排除来缩小模型突出显示。

使用模型切片数据检查器优化高亮模型切片

使用Model Slicer Data Inspector来检查记录的信号并细化高亮显示的模型切片。

为依赖分析改进死逻辑

使用Model Slicer来细化死逻辑并突出功能依赖。

使用快速重启模式调试切片模拟

通过逐步执行时间步骤，使用快速重启来调试切片模拟。

使用模型切片器以编程方式解决模型中的意外行为

检测意外行为，并使用Model Slicer以编程方式隔离和解决意外行为。

使用现有的.slslicex或死的逻辑结果改进突出显示的模型

关于如何使用现有数据突出显示模型中的功能依赖关系的说明。

创建简化的独立模型

创建一个简化的独立模型

描述简化模型生成的案例。

通过内联内容简化独立模型

描述如何使用内联内容选项。

变式系统的简化

描述如何使用Variant Manager将模型简化为只包含选定的变体配置的简化的独立模型的教程。