新思科技VC Formal解决方案部署的成功经验

形式验证是检测设计过程中深层错误最有效的方法，这些错误在仿真测试中很可能会遗漏。为了做到全面检测，形式验证使用了大量强大的引擎来对验证过程中所需要的成千上万的设计属性进行证明。因此最大限度地提高引擎性能，对于确保形式验证的效率至关重要。

新思科技VC Formal 是业内首个在引擎编排、回归和调试中利用ML技术的形式化验证工具。引擎编排旨在将引擎与属性正确配对，在物理计算资源和时间的限制下实现最短运行时间和最佳收敛效果，且VC Formal在处理每个属性时均采用了即时强化学习法。

在今年的形式验证虚拟研讨会上，英特尔、英伟达、联发科技、中兴微电子等领先企业，将分享他们部署新思科技VC Formal解决方案的成功经验。欢迎参加新思科技为期两天的线上虚拟形式验证研讨会，了解这些行业领先公司在其突破性应用中的成功部署经验。

此外，新思科技还将展示VC Formal 2022年6月版本中的新功能，并提供有关VC Formal Signoff的教程。

研讨会时间

北京时间 8月26日 1:00 a.m. - 3:00 a.m.

北京时间 8月27日 3:00 a.m. - 5:00 a.m.

具体议程

8月26日议程

1:00 a.m.

主题演讲

形式验证：为更多维度Formal验证快速增长做好准备

1:30 a.m.

使用VC Formal验证因timing等ECO的后期代码的对等性

2:00 a.m.

使用VC Formal DPV对HLS流程中的代码进行对等性验证

2:30 a.m.

应用VC Formal的Formal Core Coverage实现高效的Formal Signoff

3:00 a.m.

新思科技VC Formal新功能和更新

8月27日议程

3:00 a.m.

主题演讲

形式验证：为更多维度Formal验证快速增长做好准备

3:30 a.m.

新思科技VC Formal的新功能和更新

4:00 a.m.

使用新思科技VC Formal的FXP进行早期高效的DFT时钟X-bash测试

4:30 a.m.

利用VC Formal的强大功能进行智能手机SoC验证

5:00 a.m.

应用VC Formal工具更早期捕获关键的低功耗错误

5:30 a.m.

使用VC Formal DPV对复杂算法进行C与RTL代码对等性验证

6:00 a.m.

使Formal验证易于部署的多种方法

6:30 a.m.

新思科技VC Formal Sigoff教程

审核编辑：彭静