消除模型不兼容或分析超时问题

调整模型、模型参数或分析选项以更好地分析模型

在开始分析之前，您可以对模型运行兼容性检查。满足以下情况时，模型兼容，适合进行分析：

如果模型不兼容，您可以通过诊断查看器消息识别并修复不兼容问题。您可以使用测试生成顾问结果更好地了解模型，尤其是大型模型、复杂模型或您不确定是否与 Simulink^® Design Verifier™ 兼容的模型。

主题

Bottom-Up Approach to Model Analysis
Explains the benefits of analyzing a model starting with low-level elements.
Model Representation for Analysis
Describes model representation that Simulink Design Verifier uses for analysis.
Configure Model Representation Options
Describes how to configure model representation options. Simulink Design Verifier uses for analysis.
Use Test Generation Advisor to Identify Analyzable Components
Use the Test Generation Advisor to guide model and component analysis.

Parameter Configuration for Analysis
Overview of parameter configuration for Simulink Design Verifier analysis.
Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.
Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model.

Handle Incompatibilities with Automatic Stubbing
How to use automatic stubbing.
Configuring S-Function for Test Case Generation
This example shows how to compile an S-Function to be compatible with Simulink® Design Verifier™ for test case generation.

Share Simulink Cache File for Faster Analysis
Use Simulink cache files to share and reuse the model representation for analysis.
Run Additional Analysis to Reduce Instances of Rational Approximation
This example shows how to reduce the instances of rational approximation by running additional analysis.
Prove Properties in Large Models
Describes workflows and best practices for proving properties in large models.
Increase Allocated Memory for Analysis Report Generation
Explains how to increase the amount of memory so the software can create reports for large models.
Manage Model Data to Simplify the Analysis
Simplify your model to simplify the Simulink Design Verifier analysis.
Perform Analysis on Large Models
Describes techniques for analyzing a large model.