Cadence设计系统公司发布了Cadence®Verisium™人工智能(AI)驱动的验证平台，这是一套利用大数据和AI的应用程序，可以优化验证工作负载，提高覆盖率，加速bug的根本原因分析。Verisium平台建立在Cadence联合企业数据和AI (JedAI)平台上，并与Cadence验证引擎进行原生集成。
随着SoC复杂性的不断提高，验证已经成为系统上市的关键路径，通常比其他硅工程任务消耗更多的计算和人力资源。Verisium平台的发布代表了从电子设计自动化(EDA)中的单运行、单引擎算法到利用大数据和AI在整个SoC设计和验证活动中优化多个引擎的多次运行的算法的一代转变。通过部署Verisium平台，所有的验证数据，包括波形、覆盖率、报告和日志文件，都汇集在Cadence JedAI平台中。从这些数据中构建机器学习(ML)模型并挖掘其他专有指标，从而实现一类工具，极大地提高了验证效率。通过使用Cadence jeedai平台，Cadence能够将其在数据和AI方面的计算软件创新统一起来，跨越Verisium AI驱动的验证、Cadence Cerebrus™智能芯片Explorer的AI驱动实现和Optimality™智能系统Explorer的AI驱动系统分析。
Verisium平台上的初始应用套件如下:
Verisium AutoTriage:构建ML模型，通过使用常见的根本原因预测和分类测试失败，帮助自动化回归失败分类的重复任务。
Verisium SemanticDiff:提供一种算法解决方案，以比较IP或SoC的多个源代码修订，对这些修订进行分类，并对哪些更新对系统行为的破坏性最大进行排名，以帮助查明潜在的bug热点。
Verisium WaveMiner:应用强大的AI引擎来分析来自多次运行的波形，并确定在什么时间哪个信号最有可能代表测试失败的根本原因。
Verisium PinDown:与Cadence jeedai平台和行业标准的修订控制系统集成，以构建源代码更改、测试报告和日志文件的ML模型，以预测哪些源代码签入最有可能引入故障。
Verisium调试:提供从IP到SoC，从单次运行到多次运行的整体调试解决方案，提供快速全面的交互式和后处理调试流程，包括波形、原理图、驱动跟踪和SmartLog技术。Verisium Debug与Cadence JedAI平台和其他Verisium应用程序本机集成，支持人工智能驱动的根本原因分析，同时支持通过和失败测试的自动比较。
Verisium经理:将Cadence的全流程IP和soc级验证管理解决方案、验证计划、作业调度和多引擎覆盖本地带到Cadence JedAI平台上，并扩展其支持ai驱动的测试套件优化，以提高计算群效率。Verisium Manager还直接与其他Verisium应用程序集成，支持从统一的基于浏览器的管理控制台对整个Verisium平台进行交互式的按键式部署。
“人工智能和大数据正在改变我们周围的世界，”Cadence系统与验证组高级副总裁兼总经理Paul Cunningham说。“为了实现我们核心EDA业务的这种转变，我们必须构建跨多个运行和引擎优化的技术。通过Verisium平台，我们进入了一个建立在Cadence jeedai平台上的人工智能驱动验证时代。我们的旅程才刚刚开始，但用户已经看到使用Verisium平台在验证生产力和效率方面的显著提高。”
Verisium ai驱动验证平台是Cadence验证流程的一部分，其中包括Palladium®Z2仿真、Protium™X2原型、Xcelium™仿真、Jasper™正式验证平台和Helium™虚拟和混合工作室。Cadence验证完整流程提供了最高的验证吞吐量，即每天项目执行的每一美元投资所发现的错误和根源原因。Verisium平台和验证全流程支持公司的智能系统设计™战略，实现SoC设计的卓越。