Reuse Model Representation for Analysis
When you analyze a model for the first time, Simulink® Design Verifier™ performs a compatibility check and creates a model representation. The model representation contains information about model behavior to use for analysis. By default, the software saves the model representation at the Simulation cache folder location.
If you modify a model and rerun the analysis, Simulink Design Verifier determines whether to rebuild the model representation or to use the existing Simulink cache depending on the Rebuild model representation parameter.
This table summarizes the behavior of the Rebuild model representation option based on its settings.
Rebuild model representation option | Behavior |
If change is detected |
|
Always | The model representation is rebuilt during every model analysis, regardless of changes. |
Considerations for Model Change Detection
When the Rebuild model representation option is set to
If change is detected
, Simulink
Design Verifier monitors the model for the changes.
Design Verifier Options | |
Test Generation options | |
Property Proving options | |
Results generation options | |
Report generation options | |
Structural Checksum of a Model | The Simulink Design Verifier uses both structural checksum and code checksum. A structural checksum is a computation that detects changes in the model that can affect simulation results. For more information about the kinds of changes that affect the model, see Rebuild. Note When you Generate Test Cases for Embedded Coder Generated Code, Simulink Design Verifier also considers checksum of the generated code.
|
Additional Dependencies | In addition to structural checksum, Simulink Design Verifier checks for changes in model dependencies that can impact the analysis results, such as:
|
Limitations
The model representation is always rebuilt:
When Simulink Design Verifier analysis is started from other products such as Simulink Test™, Simulink Coverage™, Simulink Check, and Requirements toolbox.
When the model contains MATLAB System blocks.
Simulink Design Verifier does not detect changes in the custom block replacement rules that you apply, even if the Rebuild model representation option is set to
If change is detected
. In such cases, the Simulink cache is reused for analysis and a warning message is displayed in the Diagnostic Viewer that suggests you to set the Rebuild model representation option toAlways
, if you want to rebuild the model representation.
See Also
Extend Existing Test Cases by Reusing Model Representation