Cadence Verification

Cadence 致力于提供行业领先的虚拟云计算、快速的验证引擎以及智能的验证应用，让您以低成本在短时间内找到并修复更多漏洞。

核心优势

优异的的验证引擎和应用，提供超高的验证吞吐量和生产力

效率和吞吐量

提高验证效率和吞吐量，加强团队协作，使用户能够以最低成本发现并修复漏洞

智能验证

通过自动化、调试、跟踪、管理和测量验证引擎之间的验证任务，来提供智能验证管理

行业标准

支持广泛的行业标准、第三方工具以及与我们的生态系统合作伙伴（包括 Arm 和 Green Hills Software）的集成

产品类别

Cadence Verification由核心引擎和应用组成，这些技术可提高设计质量和验证吞吐量，并满足各种应用和垂直领域的验证要求。

形式验证和静态验证

遍历穷举的验证方法，无需搭建验证平台，节省数月的验证时间，并且可以在设计早期发现更多bug

LEARN MORE

仿真

业内领先的仿真技术，通过单核和多核仿真技术提供最佳的单独测试性能，并利用借助机器学习进行优化的回归技术获得最佳的回归吞吐量

LEARN MORE

硬件仿真和原型验证

提供最完整的 IP 与系统级芯片验证、硬件与软件回归测试及早期软件开发的全系列解决方案

LEARN MORE

规划与管理

通过模块(block)级、芯片级和系统级的高级验证管理和自动化，提高总体验证吞吐量和质量

LEARN MORE

验证 IP

利用在IP级、SoC级和系统级都优化过的 VIP 和Memory模型，缩短仿真运行时间

LEARN MORE

调试分析

满足 RTL、仿真平台、VIP 和系统级芯片验证调试需求的复杂解决方案

LEARN MORE

软件驱动验证

自上而下自动执行测试开发，提高软件驱动的验证效率。

LEARN MORE

System-Level Verification IP

将验证自动化引入SoC，并使芯片级验证效率比现有的方法高出10倍

LEARN MORE

虚拟平台(Virtual Platform)

通过验证和调试您的嵌入式软件/固件，以及在系统级芯片的纯虚拟和混合配置上启动操作系统，从而加速系统级芯片开发

LEARN MORE

安全验证(Verification Safety）

与 Cadence 设计和验证流程完全集成的数字和模拟/混合信号的安全解决方案，可提高生产力并加速安全合规性

LEARN MORE

Verified with Cadence

了解我们的客户如何利用 Dynamic Duo 来优化验证、确认和 pre-silicon 软件启动之间的工作量分配，以及采用左移方法来加速他们的产品开发过程。

 

AMD Designs 3rd-Gen EPYC Server Processors for HPC with Dynamic Duo

Palladium和Protium系统助力AMD从多个维度推动硬件仿真技术的发展，包括：容量、新一代仿真平台技术、 高级时钟模式、混合使用模型，等等 

NVIDIA 采用突破性创新技术，Dynamic Duo 2.0

了解Cadence 动力双剑组合(Dynamic Duo)2.0助力NVIDIA进行突破性创新

视频

资源

video

Smart Verification Technology and Solutions