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元 才能下载此资源！立即赞赏
声明：本站内容仅限用于测试、学习环境使用！在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站和媒体平台。如若本站内容侵犯了原著者的合法权益，请联系客服或发送邮件：gosoftvip@163.com「需要权利证明」本站将及时下架相应内容！
