文档
足够大和复杂的模型可能导致缓慢和不完整的分析。当您在一个利用模型上运行测试用例时，模型覆盖率的百分比可能不足以满足您的设计。的分析大型模型主题描述如何降低大型模型的复杂性。的什么是块替换?主题描述如何定义规则来自动替换模型中的块，以更好地满足设计目标。
使用Simulink设计验证器分析的参数配置文件调整参数。金宝app
使用Simulink®Design Verifier™temporal Operator模块为性能证明和测试用例生成建模时态系统需求。金宝app
使用Simulink®Design Verifier™temporal Operator模块在一个功率窗口控制器模型中建模时间系统需求，以进行性能证明和测试用例生成。金宝app
你点击一个链接对应于这个MATLAB命令:
通过在MATLAB命令窗口中输入命令来运行命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站，在那里获得翻译的内容，并看到当地的活动和优惠。根据您的位置，我们建议您选择:．
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
与当地办事处联系
得到审判现在
