带有AI（VSO）的VCS能给验证带来什么？

1导言

AI的大火让设计厂商和EDA厂商对AI的重视程度更高，推出各种AI EDA以寻求在芯片设计领域获得更优的PPA，目前Cadence，Synopsys，Mentor均推出竞争力比较强的AI产品。

Synopsys在VCS2023.03版本加入了一个感知比较强的AI，即VSO.ai(Verification Space Optimization)。尽管VSO是很早就发布独立产品，本次直接集成到VCS意义还是非常重大的，你甚至不需要修改之前的设计，仅需添加一些命令即可启动并使用VSO。

2介绍

Synopsys VSO.ai™（验证空间优化）提供业界首个人工智能驱动的验证解决方案，帮助验证团队更快、更高质量地实现覆盖收敛。该系统自主工作，以尽可能快、尽可能便宜地达到覆盖目标，并获得最高质量的结果。机器学习技术用于识别和消除回归中的冗余，自动进行覆盖率根本原因分析，并从 RTL 和激励中推断覆盖率，以识别覆盖率差距并提供覆盖率指导。（来自官方的介绍）

覆盖率收敛的挑战：

由于设计，约束，覆盖等在整个设计流程中，可能出现多次变换，而手动的regress可能在某些情况下很难提升覆盖，甚至无法提升覆盖率。case中也可能存在大量冗余的覆盖，这些都是存在的问题。仅靠人工去分析并尝试收敛覆盖，不仅消耗大量时间，面临巨大困难，而且结果却不一定能达到预期。

传统的覆盖率检查需要大量的人力反复的做一些重复的工作，不太容易在困难点实现覆盖率的提升。

VSO.ai的解决方案：

通过使用Synopsys VSO.ai来自动化几个关键步骤来增强这个流。覆盖推理步骤发生在编译过程中，用自动生成的覆盖来补充结构性和用户指定的覆盖。

一句话总结：通过AI指导设计和验证人员快速高质量达到覆盖收敛目标。

本质是让设计人员聚焦于修复BUG，而不是花时间发现BUG。将需要大量人力的工作交給AI，极大的推动了覆盖率收敛的速度。

3体验VSO

官方在VCS新版本中给出了一个描述详细的demo，有兴趣的朋友可以跑一下，给出的报告非常详细。下图是亦安体验VSO的最终报告的部分截图。

ReportReportReport

4结束语

目前相对受关注的AI产品，Synopsys的VSO.ai,DSO.ai,TSO.ai，以及Synopsys.ai Copilot（目前该产品刚宣布，介绍上说可以部署本地或者云，但不清楚Synopsys提供的服务方式是否和MS类似的账号订阅）。Cadence同样推出非常多的AI版本的EDA，其在后端以及板级的AI目前来看做的不错。

从ChatGPT开始，AI正在以更加快的速度加入到IC设计的各个节点，使用AI来加速设计，验证，获得更好的PPA已经成为一种趋势。作为IC行业的就业人员也应该对AI有所关注。