16:11视频长度为16:11。
用于系统验证和验证的MathWorks远景
临时模拟是了解典型运行场景下的系统的第一步,但对于验证不断增大的规模和复杂性的设计来说,它已经不够了。动态仿真模块®验证产品扩展和补充了模拟,2022世界杯八强谁会赢?以提供额外的严格性、自动化和洞察力,确保您的设计在功能上是正确的,符合标准,并在目标硬件上忠实地实现。本演讲解释了这些工具的远景和扩展功能,用于动态测试和基于形式方法的静态分析。Bill还讨论了如何在整个生产开发过程中系统地应用这些技术,以实现更高的质量和生产力。
注意:在R2017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录:2016年5月12日
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。