Complexity Management

Handle incompatibilities, optimize analysis for large and complex models

Sufficiently large and complex models can result in slow and incomplete analyses. When you run test cases on a harness model, the percentage of model coverage can be insufficient for your design. The Analyze a Large Model topic describes how to reduce the complexity of a large model. The What Is Block Replacement? topic describes how to define rules to replace blocks automatically in your model to better satisfy design objectives.

Frequently Viewed Topics

Featured Examples

Parameter Identification

Tune parameters using parameter configuration file for Simulink Design Verifier analysis. The model contains the parameter control_mode that enables the active controller and selects its output to be the model output. Simulink Design Verifier treats this parameter as an input that is constrained to be either 1 or 2 and generates the appropriate value for each test case.

Open Example

Debounce Temporal Properties

Model temporal system requirements for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.

Open Script

Power Window Controller Temporal Properties

Model temporal system requirements in a power window controller model for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.