vManager：验证之核心

这段话给人一种最近刚写出来的错觉，但实际上却引用自 2005 年 Cadence 刊登在 EETimes 上的一篇文章。正如 Alphonse Karr 在 Les Guêpes 期间所说，“万变不离其宗”。

话虽如此，但验证领域的确发生了很多变化。2005 年时还没有可移植激励标准（PSS，portable stimulus standard），形式化验证也尚处于起步阶段。如果想做硬件仿真，设计初启就要花费几个月时间。要是想用 FPGA 原型设计，首先得买些 FPGA。那时候的 RTL 仿真和现在一样，承担着验证的主力工作。实际上，验证工程师的工作主要包括手动启动仿真，随之分析结果。但彼时已经出现了更好的方法，即 Cadence 2005 年收购 Verisity 后发布的初版 vManager，虽然那时还仅支持单一用户。

从 2005 年，或者更准确的说，从 1985 年开始，一个确实发生的变化就是设计规模的持续增加。笔者写这篇文章的清晨，NVIDIA CEO Jensen Huang 在自家厨房发布了容纳 540 亿个晶体管的最新款 AI 芯片。更大的芯片不仅意味着验证引擎需要不断提升处理更大设计的能力，也意味着统筹整个验证流程的工具也必须水涨船高。Cadence vManager 验证管理平台已经从最初单用户演进到如今对跨国企业所有用户的支持。

如之前所说，vManager 平台最初是为单一地点，单一团队提供支持而开发。现在的公司运行方式已和当初大不相同。多个处于不同设计阶段的项目同时运行，设计团队分布在全球各地，很多验证都在大型服务器阵列或云端完成。从单一用户至今的 15 年中，vManager 平台经历了多次变革，本篇不做详述，直接来了解一下当前的 vManager。

今天，vManager 平台的高可用性版本已经被企业用于多项目并行管理，如上图所示。

同时 vManager 支持不同地区工作团队常见的服务器或网络故障等分布式问题的处理，确保关键数据的同步性，并保持足够的本地化来维持高性能，且进一步扩展至云端任务管理。vManager 的这些特性让其真正成为了企业级解决方案。

vManager 平台将上述工作全部自动化。列出的内容背后还有很多细节，比如在请求服务器阵列资源中，任务排队等候可用资源通常会占用超过 1 / 3 的验证时间。更糟的是，运行时间最长的任务也有最久的延迟（因为它们需要用占用更多资源，属于供应短缺对象）。成本和运行时间也与服务器不同配置相关，导致验证任务在复杂验证环境下的分配优化也比以往更加繁琐。

vManager 平台的第二个企业级特性是将验证与 DOORS（来自IBM），REQTIFY（来自 Dassault）或 Jama 等需求管理系统连接，这对汽车、航空航天和国防领域非常重要。而对大型项目来说，这项特性可以更好地实现全系统的需求捕捉和追溯。vManager 平台通过这些连接，将特定功能的验证与需求绑定并反馈。