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