Main Content

Reduce Model Complexity

Analyze large models by using a bottom-up approach, defining block replacement rules

Simulink® Design Verifier™ software works most effectively at analyzing large models using a bottom-up approach. In this approach, the software analyzes smaller model components first, which can be faster than using the default settings. A bottom-up approach offers several advantages:

  • It allows you to solve the problems that slow down error detection, test generation, or property proving in a controlled environment.

  • Solving problems with small model components before analyzing the model as a whole is more efficient, especially if you have unreachable components in your model that you can only discover in the context of the model.

  • You can debug more quickly, finding and fixing problems iteratively.

  • If a singular model component has a problem—for example, a component is unreachable in simulation—it can prevent the software from generating tests for all the objectives in a large model.

If you want to work around compatibility limitations in your model or customize model elements for analysis, you can use Simulink Design Verifier block replacement rules. If you want to generate additional values for parameters in your model during analysis, use Simulink Design Verifier parameter configurations.

Functions

sldvblockreplacementReplace blocks for analysis

Topics

Reduce Model Complexity

Perform Block Replacement