Cadence 发布了 Jasper Apps 2024 （24.12.000） 是第一个提供完整“深度正式”系统验证的验证产品，确保最重要的地方的正确性。

Jasper 是高级形式化功能验证软件的主要电子设计自动化 （EDA） 供应商。所有三大公司都已经拥有自己的正规技术，但领先公司似乎最依赖的技术是 Jasper 的 JasperGold 技术，该技术被认为是拥有最先进的技术。Cadence 将 Jasper 技术与他们现有的 Incisive 技术结合在一起。事实上，他们将所有的验证技术放在一起：Verilog 模拟、Palladium 仿真、虚拟平台等等。如今验证的主题是采用所有不同的方法并将它们统一起来，以便它们使用相同的调试器、相同的用户界面、相同的输入、断言，然后将某种指标驱动的方法放在一起，以便使用最合适的技术而不重叠（这样你就不会浪费时间使用模拟来测试已经被正式证明的东西， 例如）。

Gargi 演示了 JasperGold GUI 和 Visualize 环境强大且易于使用的形式化探索和调试功能。

Jasper Design Automation， Inc. 是一家电子设计自动化公司，开发提供错误检测和调试解决方案的验证系统。该公司的产品包括提供错误检测和调试解决方案的JasperGold验证系统;和 GamePlan 验证规划器网站。该公司成立于 1999 年，当时名为 Tempus Fugit， Inc.，并于 2003 年更名为 Jasper Design Automation， Inc.。Jasper Design Automation， Inc. 总部位于加利福尼亚州山景城。

Cadence 是电子设计和计算专业知识的关键领导者，利用其智能系统设计战略将设计概念变为现实。Cadence 的客户是世界上最具创造力和创新性的公司，为最具活力的市场应用提供从芯片到电路板再到系统的非凡电子产品。

Cadence Design Systems 于 2014 年 4 月 21 日收购了 Jasper Design Automation， Inc。此次交易的完成扩大了 Cadence 的旗舰系统设计和验证平台 System Development Suite 的差异化。将 Jasper 的解决方案与 Cadence 的互联调试分析以及软件和硬件验证平台集成，将提高客户利用 Cadence 统一验证规划、指标驱动的验证流程以及广泛的动态和形式化验证 IP 组合进行嵌入式处理器系统验证的能力。