文件帮助中心文件
足够大而复杂的模型可能导致缓慢和不完整的分析。当您在线束模型运行测试用例时，模型覆盖率的百分比对于您的设计可能不足。这分析大型型号主题介绍如何降低大型模型的复杂性。这什么是块替换？主题介绍如何定义规则以在模型中自动替换块以更好地满足设计目标。
使用参数配置文件进行调整参数，用于Simulink设计验证程序分析。金宝app该模型包含参数Control_Mode.这使得活动控制器能够选择其输出为模型输出。金宝appSimulink Design Verifier将此参数视为一个被约束为1或2的输入，并为每个测试用例生成适当的值。
Control_Mode.
使用Simulink®Design Verifier™时间操作员块的性能证明和测试用例的模型时间系统要求。金宝app
使用Simulink®设计Verifer™时间操作员块的特性证明和测试用例的电源窗口控制器模型模型时间系统要求。金宝app
您单击了与此MATLAB命令对应的链接：
在MATLAB命令窗口中输入它来运行命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站，以便在可用的地方进行翻译的内容，并查看本地活动和优惠。根据您的位置，我们建议您选择：。
您还可以从以下列表中选择一个网站：
选择中国网站（以中文或英文）以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。
联系您当地的办公室
