瑞风突出显示模式通过使用现有.slslicex或死逻辑结果

当您运行模拟或改进死逻辑，模型切片机在默认位置保存您的模拟结果 \ modelslicer \ <模型> \ <模型> .slslicex。对于大型或复杂的模型，仿真时间可能会很长。细化突出片，您可以使用现有型号切片机模拟数据或死亡的逻辑结果。

如果你想在其他时间再次强调功能性依赖于模型，你可以使用现有的.slslicex无需resimulate模型仿真时间窗口的数据。型号切片机则使用现有的模拟数据突显模型。

  1. 打开Simulin万博1manbetxk的®模型。

  2. 打开模型片段管理器，在应用选项卡，在模型验证，验证和测试画廊，点击型号切片机。

  3. 选择仿真时间窗口。

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

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

要细化依赖分析死者的逻辑，你可以导入现有的万博1manbetxSimulink设计验证器™数据文件或者使用现有的.slslicex死者的逻辑结果。欲了解更多信息，请参阅死逻辑检测（万博1manbetxSimulink设计验证）和万博1manbetxSimulink设计验证数据文件（万博1manbetxSimulink设计验证）。

  1. 在示范片管理器中选择瑞风死逻辑并点击弄不死逻辑数据。

  2. 要导入万博1manbetxSimulink设计验证数据文件，点击浏览SLDV数据文件。

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

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

相关话题

万博1manbetxSimulink的检查文档
万博1manbetx
自动化验证和确认使用Simulink万博1manbetx

自动化验证和确认使用Simulink万博1manbetx

获取资源