Cadence JASPER Apps 是一款面向集成电路与系统芯片设计的专业形式验证平台，广泛应用于半导体设计公司、EDA 工程师及研究机构。该软件基于先进的形式化验证引擎，支持复杂 SoC、IP 模块和定制电路的功能验证与安全性分析。JASPER Apps 提供覆盖性检查、等价性验证、CDC/ RDC 分析以及功耗优化验证等功能，可有效提升芯片设计的可靠性与开发效率，缩短研发周期，降低项目风险。Cadence 将 Jasper 技术与他们现有的 Incisive 技术结合在一起。将所有的验证技术放在一起：Verilog 模拟、Palladium 仿真、虚拟平台等等。
此版本与以下Xcelium版本兼容：
XCELIUM MAIN: 24.03.s001 and 24.09s001
XCELIUM AGILE: 24.03.a071, 24.04.a071, 24.05.a071, 24.06.a071, 24.07.a071, 24.08.a071, 24.09a071, and 24.10a071
本页收录的具体版本如下：
Cadence JASPER Apps 2024 VM虚拟机版
直接加载使用即可
您需要先赞赏 195元 才能下载此资源！立即赞赏
付费下载
当前内容需要支付195 C币才能下载
VIP折扣
- 月卡VIP会员
185.25C币9.5折
- 年卡VIP会员
175.50C币9折
- 永久VIP会员
156.00C币8折
- 合作伙伴
117.00C币6折
折扣详情
