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
Large model test
The 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 iterate more quickly—find a problem and fix it, find another problem and fix it, and so on.
If one model component has a problem—for example, a component is unreachable in simulation—that can prevent the software from generating tests for all the objectives in a large model.
Try this workflow with your large model:
Use the Test Generation Advisor to identify analyzable model components and generate tests for these components. For more information, see Use Test Generation Advisor to Identify Analyzable Components.
Fix any problems by adding constraints or specifying block replacements.
After you analyze the smaller components, reapply the required constraints and substitutions to the original model. Analyze the full model.
When you finish a bottom-up analysis, you have a top-level model that Simulink Design Verifier can analyze quickly.