Main Content

Refine Highlighted Model by Using Existing .slslicex or Dead Logic Results

When you run simulation or refine dead logic, Model Slicer saves your simulation results at the default location <current_folder>\modelslicer\<model_name>\<model_name>.slslicex. For large or complex models, the simulation time can be lengthy. To refine the highlighted slice, you can use the existing Model Slicer simulation data or dead logic results.

If you want to highlight functional dependencies in the model again at another time, you can use the existing.slslicex simulation time window data without needing to resimulate the model. Model Slicer then uses the existing simulation data to highlight the model.

  1. Open the Simulink® model.

  2. To open the Model Slicer, On the Apps tab, under Model Verification, Validation, and Test gallery, click Model Slicer.

  3. Select Simulation time window.

  4. Click Use existing simulation data .

  5. Navigate to the existing .slslicex data and click Open.

To refine the dead logic for dependency analysis, you can import the existing Simulink Design Verifier™ data file or use the existing .slslicex dead logic results. For more information see, Dead Logic Detection (Simulink Design Verifier) and Manage Simulink Design Verifier Data Files (Simulink Design Verifier).

  1. In Model Slicer, select Refine Dead Logic and click Get Dead Logic Data.

  2. To import the Simulink Design Verifier data file, click Browse for SLDV data file .

    To load the existing dead logic results, click Browse for existing dead logic results.

  3. Navigate to the existing data and click Open.

Refine Dead Logic dialog with options to browse for SLDV data file and browse for existing dead logic results

Related Topics