You can share the Simulink® cache file for faster Simulink Design Verifier™ analysis. When you analyze a model, Simulink Design Verifier performs a compatibility check and creates a Simulink cache file that contains the model representation information. If there is no change in the model, Simulink Design Verifier reuses the model representation from the Simulink cache file without performing the compatibility check again. For more information, see Share Simulink Cache Files for Faster Simulation and Model Representation for Analysis.
The Simulink cache file is stored in the location specified in the Simulink Preferences > General dialog box, under Simulation cache folder. By default, the Simulink cache file is stored in the current working directory.
The file name of the Simulink cache is the same as the file name of the model with an
.slxc file extension.
You can reuse the Simulink cache file to speed up the Simulink
Design Verifier analysis for later use by yourself or others. When you perform
Design Verifier analysis, the software determines whether to rebuild the model
representation based on the Rebuild model representation option. By
default, this option is set to
If change is detected and
if there is no change in the model, the software reuses the model representation
from the Simulink cache file for analysis.
If Rebuild model representation is set to
Always or if the software detects any change in the
model during analysis, the software rebuilds the model representation and updates
the Simulink cache file.
The Simulink cache file accumulates model representation build artifacts for the release in which it was created and supports all platforms. This cache file does not support cross-release compatibility.
For information on what a specific Simulink cache contains, double-click the Simulink cache file. The report contains information of supported releases, platforms, and model representation.
For example, suppose a team is working on large models and uses a source control system to manage design files. To reduce the amount of time for Simulink Design Verifier analysis, the team follows these steps:
A developer pulls the latest version of the Simulink model from the source control system.
Performs Simulink Design Verifier test case generation analysis and shares the latest version of Simulink cache file to the source control system and the generated test cases to the build archive.
Test engineer pulls the latest version of the model and the Simulink cache file from the source control systems. Also, pulls the existing test cases from the build archive.
Performs test case extension on the same model by using the existing test cases. If no changes are detected in the model, the model representation from the Simulink cache file is reused for analysis. For a detailed example, see Extend Existing Test Cases by Reusing Model Representation.
If the test engineer, changes the model or Simulink Design Verifier options that affects the compatibility results, the model representation is rebuilt and the Simulink cache file is updated. For more information on Simulink Design Verifier options that leverage the reuse of model representation, see Reuse Model Representation for Analysis.