主要内容

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

当您运行模拟或细化死逻辑时，模型切片器将模拟结果保存在默认位置< current_folder > \ modelslicer \ < model_name > \ < model_name > .slslicex．对于大型或复杂的模型，模拟时间可能很长。要细化突出显示的切片，您可以使用现有的Model Slicer模拟数据或死逻辑结果。

如果您希望在其他时间再次突出显示模型中的功能依赖项，您可以使用现有的.slslicex模拟时间窗口数据，而不需要重新模拟模型。然后，模型切片器使用现有的仿真数据来突出显示模型。

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

  2. 要打开模型切片管理器，请在应用程序选项卡,在模型验证、验证和测试画廊,点击模型切片机．

  3. 选择模拟时间窗口．

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

  5. 导航到现有的.slslicex数据，单击开放．

要为依赖分析细化死逻辑，可以导入现有逻辑金宝appSimulink设计验证器™数据文件或使用现有.slslicex死逻辑结果。欲了解更多信息，死逻辑检测(金宝appSimulink Design Verifier)而且管理Simul金宝appink设计验证器数据文件(金宝appSimulink Design Verifier)．

  1. 在模型切片管理器中，选择提炼死逻辑并点击获取死逻辑数据．

  2. 若要导入金宝appSimulink设计验证器数据文件，点击浏览SLDV数据文件．

    单击，加载已存在的死逻辑结果浏览现有的死逻辑结果．

  3. 导航到现有数据并单击开放．

相关的话题