主要内容

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

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

如果您希望在另一个时间再次突出显示模型中的函数依赖项，您可以使用现有的.slslicex仿真时间窗数据无需重新模拟模型。然后，模型切片器使用现有的模拟数据来突出显示模型。

  1. 打开模型®模型。

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

  3. 选择仿真时间窗口．

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

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

要为依赖性分析细化死逻辑，可以导入现有的仿真软件设计校验™数据文件或使用已有的.slslicex死的逻辑结果。更多信息请参见，死的逻辑检测(仿真软件设计验证器)而且管理Simulink设计验证器数据文件(仿真软件设计验证器)．

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

  2. 导入仿真软件设计验证器数据文件,点击浏览查看SLDV数据文件．

    单击可加载现有的死逻辑结果浏览现有的死逻辑结果．

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

相关的话题

Baidu
map