实例探究 > NetSpeed Systems 利用 Cadence 解决方案对复杂 IP 产品进行高效验证

NetSpeed Systems 利用 Cadence 解决方案对复杂 IP 产品进行高效验证

技术

分析与建模 - 数字孪生/模拟
平台即服务 (PaaS) - 应用开发平台

适用行业

水泥
电信

适用功能

产品研发
质量保证

用例

交通模拟
虚拟现实

服务

系统集成
测试与认证

关于客户

NetSpeed Systems 是一家为从移动到高性能计算和网络等广泛市场的片上系统 (SoC) 设计人员提供可扩展、一致的片上网络 (NoC) IP 的提供商。该公司的 NoC 平台通过系统级方法、高水平的用户驱动自动化和最先进的算法，提供显着的上市时间优势。 NetSpeed 开发了 Gemini，其缓存一致性 NoC 解决方案，旨在解决现有基于硬件的一致性解决方案中的两个关键限制：性能和可扩展性。 Gemini 在单个 NoC 中支持所有三个级别的一致性流量（缓存一致性、I/O 一致性和非一致性流量），为各种应用提供高性能、可扩展性和可配置性。

登录后查看完整内容

挑战

NetSpeed Systems 是一家为片上系统 (SoC) 设计人员提供可扩展、一致的片上网络 (NoC) IP 的提供商，在设计其缓存一致的 NoC 解决方案 Gemini 时面临着重大挑战。该产品的灵活性允许无限数量的配置，因此需要大量的测试用例。这带来了开发进度长期延迟的风险。此外，一致性验证过程是深度状态的，需要长时间运行来积累内部芯片状态并解决极端情况。一致性错误是不可原谅的，一个错误就可能导致整个产品瘫痪。巨大的验证空间，包括较长的预热期以及需要暴露仅在数百万次循环后才会出现的错误，增加了复杂性。该公司需要一种解决方案，能够在这个巨大的验证空间中提供全面的测试覆盖，生成所有可能的 NoC 配置，为测试用例提供智能、协调的激励，并实现高效的调试和错误再现。

登录后查看完整内容

解决方案

NetSpeed Systems 采用 Cadence 的 Palladium XP 加速/仿真平台作为其多层方法的一部分来彻底验证 Gemini。该公司采用了“深度和广度”验证策略，使用 Cadence Incisive 仿真快速覆盖大量配置和仿真，以验证复杂的时间相关场景。 Palladium XP 平台使 NetSpeed 能够运行更真实的工作负载并测试在模拟中无法实现的更复杂的 SoC 电源交互。加载到 Palladium XP 平台上的自检刺激可以运行数十亿条指令，帮助 NetSpeed 达到更快的速度并清除难以捉摸的错误。该方法还使 NetSpeed 能够在 Incisive 仿真中重放仿真运行，匹配两者之间的每个周期。 NetSpeed 使用其内部 NocWeaver 软件每晚生成 1000 多个 NoC 设计。使用 Palladium XP 平台，NetSpeed 能够运行更长时间、更详尽的测试。 Palladium 测试环境的实施和启动只用了不到一周的时间，而通常需要数周时间的测试在几分钟内就完成了。

登录后查看完整内容

运营影响

The use of Cadence's Palladium XP platform has become an integral component of NetSpeed's solution for verification challenges. The platform has enabled comprehensive testing that would otherwise be infeasible, mitigating business risk and helping to build customer confidence in NetSpeed's products. The ability to run more realistic workloads and test more complex SoC power interactions has enhanced the quality of the product. The ability to replay and debug in a timely manner has proved especially crucial, improving the efficiency of the verification process. NetSpeed plans to use the Palladium XP platform on future product releases, demonstrating the significant operational benefits derived from its use.

登录后查看完整内容

数量效益

Increased validation speed hundreds of times faster compared to simulation
Enabled exhaustive test coverage of a massive verification space
Improved validation team productivity: operations that previously took weeks were completed in minutes

登录后查看完整内容