视频长度为 23:40

动态测试和静态分析的自动化加速行业标准认证

基于模型设计的仿真是帮助理解系统复杂设计之行为的一项关键能力。

本次演讲讨论了参考工作流程的验证功能,该工作流程采用基于模型的设计来自动化满足认证标准的手动步骤。涵盖了新的验证功能,以支持需求建模、标准检查自动化、测试和代码的形式化验证。本次演讲同时将向您展示如何在整个设计产品开发过程中系统地应用上述功能,以提高质量和生产率。

出版年份: 2020 年 7 月 16 日