专栏名称: 新思科技

新思科技中国官方账号。传递最新资讯，掌握即时动态。 Synopsys, Inc. 保留一切权利。SYNOPSYS、新思是Synopsys, Inc.在美国和/或其他国家和地区注册的商标。

在线研讨会 | AI 与形式验证，加速验证的成功法则

新思科技 · 公众号 · · 2021-02-02 17:00

正文

视频已录制，注册报名，即可回看

人工智能（AI）是当下最热门的话题之一。人工智能源于一个概念，即训练计算机系统以执行通常需要人类智能才能完成的任务。机器学习（ML）是AI技术的一种，即机器通过使用具体的算法，从现有数据中学习并进行推理，而整个过程无需人工参与。

在线研讨会：新一代形式化验证

在本次研讨会中，我们将探索形式验证（VC Formal）回归模式加速器（Regression Mode Accelerator , RMA）应用程序中使用的机器学习技术，以加快验证进度，将性能提高10倍，并提供更好的收敛性。

SoC 设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。 VC Formal™ 新一代形式化验证解决方案拥有出色的容量、速度和灵活性，可验证某些最艰巨的 SoC 设计挑战，它包括全面的分析和调试技术，能够在 Verdi® 调试平台中快速地找到根本原因。VC Formal 解决方案始终如一地提供更高的性能和容量，发现更多缺陷，针对更大型设计提供更多证据，并通过与 VCS® 功能验证解决方案的本地集成实现更快的覆盖收敛。

如下图所示，新思科技VC Formal 解决方案包括一整套正式应用程序 (App)，包括属性验证 (FPV)、自动提取属性 (AEP)、覆盖分析器 (FCA)、连接性检查 (CC)、时序等效性检查 (SEQ)、寄存器验证 (FRV)、测试平台分析仪 (FTA)、形式导航器 (NAV) 以及用于验证标准总线协议的一组断言 IP (AIP）。