AI热潮之下，芯片设计厂商和EDA工具商纷纷加码，都想借着这股东风在PPA优化上拿到更好的结果。目前来看，Cadence、Synopsys、Mentor这三家都已经拿出了各自颇具竞争力的AI产品，动作一个比一个快。

1 导言

在Synopsys的VCS 2023.03版本中，直接集成了一款感知能力很强的AI工具——VSO.ai（Verification Space Optimization，验证空间优化）。其实VSO这个产品早就作为独立工具发布过，但这次直接塞进VCS流程里，意义就不一样了。你甚至不需要改动已有的设计，只需要在命令行里加几条命令，就能把VSO用起来。

2 介绍

Synopsys官方对VSO.ai的定义是：业界首款AI驱动的验证解决方案，帮助验证团队更快、更高质量地实现覆盖收敛。这套系统可以自主工作，以最快的速度、最低的成本达到覆盖目标，同时保证最高质量的结果。背后的核心技术是机器学习——用来识别并消除回归中的冗余，自动做覆盖率根因分析，还能从RTL和激励中推断覆盖率，从而识别覆盖率缺口并给出指导方向。

覆盖率收敛的挑战

在实际项目中，设计、约束、覆盖在整个流程中可能反复变化，手动跑回归常常陷入死胡同——覆盖目标死活上不去。而且case里往往存在大量冗余的覆盖点，人工分析并尝试收敛，不仅耗时巨大、困难重重，最终结果也不一定能达到预期。传统的覆盖率检查极度依赖人力，反复做那些重复性工作，尤其碰到真正的难点时，几乎很难撬动覆盖率的提升。

VSO.ai的解决方案

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

用一句话总结：利用AI指导设计和验证人员，快速、高质量地达到覆盖收敛目标。本质上，是让工程师把精力聚焦在修Bug上，而不是花大量时间去找Bug。那些需要大量人力的工作，交给AI去干，覆盖率收敛的速度自然就被推上去了。

3 体验VSO

官方在VCS新版本里附带了一个描述非常详细的demo，感兴趣的话可以亲自跑一跑，生成的报告细致程度出乎意料。下面放的是亦安体验VSO之后，最终报告的部分截图。

Report

Report

Report

4 结束语

目前市场上比较受关注的AI产品，Synopsys这边有VSO.ai、DSO.ai、TSO.ai，还有刚官宣的Synopsys.ai Copilot（据说支持本地部署或云，不过具体服务方式是不是跟微软那种账号订阅类似，还不清楚）。Cadence同样推出了大量AI版本的EDA工具，尤其在后端和板级领域，AI方面的表现相当亮眼。

从ChatGPT点燃AI热潮开始，AI正以更快的速度渗透到IC设计的各个环节。用AI加速设计、验证、拿到更好的PPA，已经不再是可选项，而是正在发生的趋势。作为IC行业从业者，对AI保持关注，终究是件有益无害的事。