Cadence Design Systems > 实例探究 > Newport Media 使用 Cadence 解决方案增强验证流程

Newport Media 使用 Cadence 解决方案增强验证流程

技术

自动化与控制 - 人机界面 (HMI)
网络与连接 - 射频收发器

适用行业

电网
电信

适用功能

产品研发
质量保证

用例

租赁金融自动化
时间敏感网络

服务

系统集成
测试与认证

关于客户

Newport Media 是一家位于南加州的无晶圆厂半导体公司。该公司成立于 2005 年，旨在为新兴数字音频和移动电视应用提供高度集成的接收器解决方案。该公司的开发团队专注于开发具有前所未有的性能、功耗、尺寸和成本效益的广播多媒体架构和集成电路（IC）实现。 Newport Media 的首要产品线 Sundance 系列是一个多标准平台，旨在支持各种新兴移动电视标准，包括 DVB-H、DMB、ISDB-T 和 FLO。单芯片射频 (RF) 调谐器提供先进的用户功能集以及一流的射频噪声系数和解调器多普勒性能。

登录后查看完整内容

挑战

Newport Media 是一家无晶圆厂半导体公司，面临着提供具有前所未有的性能、功耗、尺寸和成本效益的高度集成接收器解决方案的挑战。该公司的开发团队的任务是为具有外部总线接口的新版本设计开发验证环境。正在验证的模块具有 40K 逻辑门，包括 AHB 主/从接口、外部微处理器接口和直接存储器访问 (DMA) 引擎。该团队需要在 AHB 主/从设计周期的早期暴露难以发现的错误，以验证协议合规性并编写更广泛的测试来发现和探索极端情况。

登录后查看完整内容

解决方案

为了应对这些挑战，Newport Media 选择采用 Cadence Incisive Formal Verifier 解决方案和 Cadence Incisive 基于断言的验证 IP (VIP)。该团队利用了 Cadence AHB 基于断言的 VIP 产品，这是一个即插即用的验证环境，可简化 ARM AMBA AHB 协议的验证。 Incisive VIP提供静态分析和协议合规性检查，为团队提供了一条重要的捷径。 Newport Media 还采用了 Incisive Formal Verifier，使工程师能够在设计的同时开始模块验证，从而减少重新设计并降低风险。该工具在大约一个小时内准确地查明了设计错误，在测试平台开发和模拟开始之前几个月就检测到了功能错误。

登录后查看完整内容

运营影响

The use of Cadence's Incisive Formal Verifier and Incisive VIP resulted in improved productivity and quality of functional verification earlier in the design and verification process for Newport Media. The solutions provided instant and insightful feedback, making the verification process quicker and more efficient. The use of these tools also increased predictability and decreased risk in the design process, as engineers could begin module verification at the same time they were being designed. This reduced re-spins and lowered risk, leading to a more streamlined and efficient design and verification process.

登录后查看完整内容

数量效益

The Incisive Formal Verifier accurately pinpointed design bugs in about an hour, significantly reducing the time typically taken to detect hard-to-find corner cases.
Functional bugs were detected months before testbench development and simulation could begin, speeding up the overall verification process.

登录后查看完整内容