新一代多运行、多引擎验证工具,利用大数据和人工智能来优化验证负载,提高覆盖率,加速复杂 SoC 设计 bug 溯源
中国上海,2022 年 9 月 15 日 —— 楷登电子(美国 Cadence 公司,NASDAQ:CDNS)今日宣布推出 Cadence® Verisium™ Artificial Intelligence(AI)-Driven Verification Platform,整套应用通过大数据和 JedAI Platform 来优化验证负荷、提高覆盖率并加速 bug 溯源。Verisium 平台基于新的 Cadence Joint Enterprise Data AI (JedAI)Platform,并与 Cadence 验证引擎原生集成。
随着 SoC 复杂性不断提高,验证往往比其它工程任务更加消耗算力和人力,如何缩短验证周期已成为产品按时上市的关键。
Verisium 平台的发布代表了电子设计自动化(EDA)利用大数据和人工智能来优化整个 SoC 设计和验证过程,由单运行(single-run)、单引擎(single-engine)向多运行(multi-run)、多引擎(multi-engines)的全新算法转变。通过部署 Verisium 平台,汇集所有波形、覆盖率、报告和日志文件等验证数据于 Cadence JedAI 平台中,在此平台上建立机器学习(ML)模型和发掘更多特定指标,进而将其应用于全新系列工具上,从而极大地提高验证工作效率。
借助 Cadence JedAI 平台,Cadence 能够将其在数据和人工智能方面的计算软件创新成果,统一应用在 Verisium AI-Driven 验证,Cerebrus™ Intelligent Chip Explorer AI-Driven 实现和 Optimality™ Intelligent System Explorer AI-Driven 系统分析等产品中。
Verisium AI-Driven 验证平台是 Cadence 验证全流程的一部分,此外还包括 Palladium® Z2 硬件仿真、Protium™ X2 原型验证、Xcelium™ 软件仿真、Jasper™ 形式验证平台以及 Helium™ Virtual and Hybrid Studio。Cadence 验证全流程提供了最高的验证吞吐量,在有限的时间内尽可能发现更多的 bug 和实现更多的溯源分析,让项目各方面的投资都做到物尽其用。
客户评价
“为了满足我们的客户日益增长的性能需求,联发科的创新型移动 SoC、智能家居、互联和物联网产品的规模性和复杂性持续增长。因此,功能验证已经成为项目进度中的一个关键瓶颈,我们与 Cadence 一样,对改变验证生产力的新一代 AI-Driven 的多运行技术充满期待。与 Cadence 的紧密合作证实了 Verisium 平台在自动查找错误根源方面表现突出,我们正在 IP 和 SoC 验证团队中扩大这一工具的部署规模。”
—— Chinh Tran
联发科硅产品开发部副总经理
“随着 SoC 的复杂性不断增加,SoC 级验证是确保按时流片的一个关键步骤。我们看到人工智能和大数据在大幅提高设计和验证效率方面具有巨大的潜力。我们正在与 Cadence 密切合作,在移动 SoC 设计中部署 Verisium 平台。事实证明,该平台在对错误根源进行自动分类和分析上表现非常出色。”
—— S.Brian Choi
三星电子副总裁
“为了应对 IP 和 SoC 设计复杂性的快速增长,验证一直是 STM32 微控制器面临的主要挑战。Cadence 的数据驱动功能验证平台和利用人工智能技术的应用程序表现出色,是解决这一挑战的不二之选。ST 和 Cadence 基于一致的愿景展开紧密合作,在 ST 部署了多个 Verisium 应用程序。结果证明,利用 Verisium AutoTriage、SemanticDiff 和 WaveMiner,功能验证的效率得到了显著提升。使用 Verisium 应用程序和 Cadence JedAI Platform,我们希望快速达到 IP 和 SoC 设计错误分类和定位的显著提升。”
—— Mirella Negro Marcigaglia
STMicroelectronics公司
STM32数字验证经理