JasperGold Formal Verification Platform

新一代 Cadence^® JasperGold^® Formal Verification Platform 采用机器学习技术和核心形式验证技术增强所有 JasperGold 应用。

智能验证技术

全新的 JasperGold 平台引领当下最新阶段的形式验证求解算法和流程。此最新平台还整合了智能验证技术，以改进所有 JasperGold 应用的验证吞吐量。使用机器学习技术来选择求解器并对其进行参数化，以提高首次验证的速度。此外，机器学习还在本地或云中被使用，来优化回归测试的流程。借助智能验证技术，将开箱即用型验证速度提高 2 倍，将回归测试速度提高 5 倍。

先进的设计可扩展性

如今，系统级芯片设计的规模和复杂性与日俱增，设计的编译流程决定了启动形式验证分析所需的计算资源，和设计的最大规模限制。升级版 JasperGold 平台可将设计编译能力提高超过 2 倍，并在编译期间减少平均 50% 的内存使用。此外，工程师可以通过先进的并行编译技术有效地扩展对设计规模的支持能力，以最佳效率利用可用的计算资源，并在云中运行验证流程。

形式验证签核增强功能

平台提供的最新形式验证覆盖率技术，使工程师可以在 JasperGold 平台内即可执行 IP 签核。这些新型形式验证签核技术包括：改进的验证核心和检查覆盖率准确度，更新颖的技术来从bug hunting中获取有意义的覆盖率，以及新的形式验证覆盖率分析视图。利用强大的 JasperGold Visualize^™ Interactive Debug Environment（集成了QuietTrace^™ 调试功能 ），轻松进行调试和假设分析。这些功能强强联手，可提供签核级别的覆盖率指标，实现多引擎芯片级验证收敛。

做为Cadence Verification Suite 的组成部分，JasperGold Formal Verification Platform ，可在 vManager^™ Verification Management 中提供全方位的覆盖率，并将 JasperGold 形式验证结果与 Xcelium^™ Logic Simulation 和 Palladium^® Emulation 指标整合在一起，加快整体验证收敛速度。

申请获取白皮书，了解post-silicon调试、property synthesis、低功耗、寄存器传输级 (RTL) 设计Signoff、Superlint 和缓存一致性协议方面的形式验证技术。

了解客户如何评价 JasperGold 平台

单击进入下一部分，获取文章和演示。