使用现有的 .slslicex 或死逻辑结果来优化突出显示的模型
当您运行仿真或改进死逻辑时，模型 Slicer 会将您的仿真结果保存在默认位置 <current_folder>\modelslicer\<model_name>\<model_name>.slslicex。对于大型或复杂的模型，仿真时间可能会很长。要优化突出显示的切片，您可以使用现有的模型切片器仿真数据或死逻辑结果。
如果您想在另一时间再次突出显示模型中的函数依赖关系，您可以使用现有的 .slslicex 仿真时间窗口数据，而无需重新模拟模型。模型切片器随后使用现有的仿真数据来突出显示模型。
打开 Simulink® 模型。
要打开模型切片器，在 App 选项卡上的模型验证、确认和测试库中，点击模型切片器。
选择仿真时间窗。
点击使用现有仿真数据
。导航到现有的
.slslicex数据，然后点击打开。
要改进依赖性分析的死逻辑，您可以导入现有的Simulink Design Verifier™数据文件或使用现有的.slslicex 死逻辑结果。有关详细信息，请参阅死逻辑检测 (Simulink Design Verifier)和管理 Simulink Design Verifier 数据文件 (Simulink Design Verifier)。
在模型切片器中，选择细化死逻辑并点击获取死逻辑数据。
要导入 Simulink Design Verifier 数据文件，点击浏览 SLDV 数据文件
。要加载现有的死逻辑结果，点击浏览现有死逻辑结果
。导航至现有数据并点击打开。
