Imagination Technologies 成立于 1985 年，用C验证现已巩固了其作为半导体知识产权 (IP) 解决方案领先供应商的系统地位。公司以其创新的设计 IP 设计而闻名。这些高性能、工具高能效的半导 IP 处理器服务于多个技术领域，包括移动设备、用C验证汽车、系统消费电子和人工智能物联网(AIoT) 设备。设计

Imagination 的工具目标是助力汽车、消费电子、半导数据中心等行业解决复杂应用问题。用C验证该公司从零开始开发 IP 模块，系统旨在为客户提供优质产品。设计作为分块式延迟渲染技术的工具创造者，Imagination 有能力生产节能处理器。半导为了达到这一能效水平，他们使用了 Cadence的 Verisium Manager、Xcelium LogicSimulation、Jasper 等工具。

“Imagination 想要从整体上解决复杂的问题，我们构建的基础设施将帮助我们实现这一目标。如今，Imagination 的目标是助力汽车、消费电子、数据中心等行业，解决复杂的现实问题。

Imagination 是分块式延迟渲染技术的创造者，它掌握着几代原创技术和专利，因此有能力生产节能图形处理器。我们积极参与高度复杂的软件开发，确保我们的硬件能够高效且节能地运行，这就是我们的工作。RTL 设计通常聚焦于验证设计意图，我们大规模地使用 Xcelium 验证工具来执行数千秒的仿真，并使用 Verisium Manager 等工具来管理这些数据和上下文，实现设计收敛和签核。

在解决这些难题时，需要深入关注问题本身。因此，拥有一款每次都能派上用场的工具非常重要。Cadence 为我们提供了这样的工具。”

—— Ozgur Ozkurt ( Senior Director of Hardware Engineering, Imagination )

“实际上，我们主要给客户提供授权 IP，我们正在从零开始开发 IP 模块，我们在内部进行设计和验证，尽可能地提高 IP 质量。

当前的 Formal 验证工作是由专家团队负责，但这是整体战略的一部分。我们希望将来可以将 Verisium Manager 与各类指标联系起来，从基于功能的验证计划开始，结合使用 Jasper 获取的形式化结果，或使用来自 Xcelium 工具的仿真结果，以及覆盖率反馈。近日，我们还开始使用第三方覆盖扩展技术。这让我们十分振奋。我们利用这种技术提升架构覆盖率，即我们在 C 模型验证中收集的覆盖率，将这一数据反馈给 Verisium Manager，这样，我们就能全面了解所有这些不同方法。

我喜欢 Verisium Manager 的一点是，它让我们不再局限于验证或受制于指标。实际上，我们上升了一个抽象层次，开始思考客户最需要什么，客户需要的是功能完备的产品。如果我们从这个需求出发，便可将其分解为具体的功能。这样一来，功能就成为了我们验证的驱动力，而不仅仅是指标。我们使用指标来评估功能验证效果，但它们并非控制因素。

Verisium Manager 为我们提供了很大的帮助，而验证规划方法论则帮助我们提升抽象层次，进而提高工作效率。”

—— Pim Palmen ( Verification Architect, Imagination )

“我想每个人都会告诉你，Verisium Manager 让他们的工作变得轻松了许多。对于我来说，我们能够看到以前被丢弃的所有数据，这些数据都集中在一个数据库中，我们能够基于这些数据构建视图，这一切都被无缝集成在 Verisium Manager 中并映射至项目的验证计划。”

—— Kush Raval (Software Engineer, Imagination)

2025 Cadence Design Systems, Inc. 版权所有。在全球范围保留所有权利。Cadence、Cadence 徽标和 www.cadence.com/go/trademarks 中列出的其他 Cadence 标志均为 Cadence Design Systems, Inc. 的商标或注册商标。