主要内容

通过使用现有优化突出显示的模型.slslicex.或死亡逻辑结果

运行模拟或优化死亡逻辑时，Model Slicer会将模拟结果保存在默认位置 \ modelslicer \ \ .slslicex。对于大型或复杂的模型，模拟时间可以冗长。要优化突出显示的切片，可以使用现有的模型切片器模拟数据或死亡逻辑结果。

如果您想再次突出模型中的功能依赖项，则可以使用现有的.slslicex.模拟时间窗口数据不需要重新调整模型。模型切片器然后使用现有的模拟数据来突出显示模型。

  1. 打开Simulin金宝appk.®模型。

  2. 要打开模型切片管理器，请应用标签，下面模型验证，验证和测试画廊，点击模特切片机。

  3. 选择模拟时间窗口。

  4. 点击使用现有的模拟数据。

  5. 导航到现有.slslicex.数据和点击打开。

要优化依赖性分析的死亡逻辑，可以导入现有的金宝appSimulink Design Verifier™数据文件或使用现有.slslicex.死亡逻辑结果。有关更多信息，请参阅，死亡逻辑检测（金宝appSimulink Design Verifier）和金宝appSimulink设计验证程序数据文件（金宝appSimulink Design Verifier）。

  1. 在模型切片管理器中，选择优化死亡逻辑然后点击获取死亡逻辑数据。

  2. 进口金宝appSimulink Design Verifier数据文件，单击浏览SLDV数据文件。

    要加载现有的死亡逻辑结果，请单击浏览现有的死亡逻辑结果。

  3. 导航到现有数据，然后单击打开。

相关话题

金宝appSimulink检查文档

金宝app

使用Simulink自动化验证和验证金宝app

使用Simulink自动化验证和验证金宝app

获取资源