Cadence 发布了 JasperGold 2003.23.09.001，它是第一个提供完整“深度形式化”系统验证的验证产品，可确保最重要的正确性。
Jasper 是高级形式功能验证软件的首屈一指的电子设计自动化 (EDA) 供应商。三大巨头都已经拥有自己的正式技术，但领先公司最依赖的技术似乎是 Jasper 的 JasperGold 技术，该技术被认为拥有最先进的技术。 Cadence 将 Jasper 技术与其现有的 Incisive 技术结合在一起。事实上，他们将所有验证技术整合在一起：Verilog 仿真、Palladium 仿真、虚拟平台等等。如今验证的主题是采用所有不同的方法并将它们统一起来，以便它们使用相同的调试器、相同的用户界面、采用相同的输入、断言，然后将某种度量驱动的方法放在一起，以便最合适的方法技术的使用没有重叠（例如，您不会浪费时间使用模拟来测试已经被正式证明的东西）。
Jasper Design Automation, Inc. 是一家电子设计自动化公司，开发提供错误检测和调试解决方案的验证系统。该公司的产品包括提供错误检测和调试解决方案的JasperGold验证系统；和 GamePlan 验证规划者网站。该公司成立于 1999 年，当时名为 Tempus Fugit, Inc.。并更名为 Jasper Design Automation, Inc. 2003 年。Jasper 设计自动化有限公司总部位于加利福尼亚州山景城。
Cadence 是电子设计和计算专业知识领域的关键领导者，利用其智能系统设计策略将设计概念转化为现实。 Cadence 的客户是世界上最具创造力和创新性的公司，为最具活力的市场应用提供从芯片到电路板再到系统的非凡电子产品。
Cadence Design Systems 于 2014 年 4 月 21 日收购了 Jasper Design Automation, Inc。此次交易的完成扩大了 Cadence 系统开发套件（Cadence 的旗舰系统设计和验证平台）的差异化。 Jasper的解决方案与Cadence的互联调试分析以及软件和硬件验证平台的集成将提高客户利用Cadence的统一验证规划、指标驱动的验证流程以及广泛的动态和形式化验证IP组合进行嵌入式处理器系统验证的能力。
Owner: Cadence
Product Name: JasperGold
Version: 23.x
Supported Architectures: x86_x64
Website Home Page : http://www.cadence.com
Languages Supported: english
System Requirements: Linux **
Size: 3.5 Gb
* included: Base_JASPER23.09.000_lnx86
Update_JASPER23.09.001_lnx86
