比尔•奥尔德里奇MathWorks
特设仿真是在典型操作场景下理解系统的重要的第一步,但它对于验证不断增长的规模和复杂性的设计已经变得不够了。金宝app动态仿真模块®验证产品扩展并补充了仿真,下载188bet金宝搏以提供额外的严谨性、自动化,并洞察您的设计在功能上是正确的、符合标准的,并且在目标硬件上是忠实实现的。这次演讲解释了这些工具的远景和扩展功能,这些工具用于动态测试和基于正式方法的静态分析。Bill还讨论了如何在整个生产开发过程中系统地应用这些技术,以实现更高的质量和生产力。
注:在R20金宝app17b中,Simulink Verification和Validation被转换为Simulink Check、Simulink Coverage和Simulink Requirements。
记录:2016年5月12日
你也可以从以下列表中选择一个网站:
请选择表现最佳的中国网站(中文或英文)。MathWorks的其他国家网站并没有针对您所在位置的访问进行优化。