全球电子设计创新领先企业Cadence设计系统公司宣布，该公司已达成一项最终协议，以现金约1.7亿美元收购形式分析(formal analysis)解决方案领先供应商Jasper Design Automation, Inc.。截止2013年12月31日，Jasper约有2,400万美元的现金、现金等价物和短期投资。

    Jasper设计自动化公司是快速增长的形式分析行业市场和技术的领导者，利用其JasperGold平台提供多种验证解决方案(Verification Apps)。Jasper的客户包括众多顶级系统、半导体和IP公司。这些公司，同时也是Cadence的客户，正越来越多地采用形式分析以补充传统的验证方法，从而更好地应对需要验证日益复杂和灵活的IP设计以及系统级芯片（SoCs）设计的挑战。随着验证占据开发系统级芯片设计的成本超过70%，验证已成为顶级系统和SoC开发的挑战以及满足产品上市时间的关键因素。

    Jasper的技术优势与Cadence系统开发套件具有很强的互补性，后者自2011年起就一直成为集成系统验证解决方案的旗手。两者的结合将扩大业界最强与最广泛的系统验证平台的差异优势，并将与Cadence常见的调试分析、形式和半形式化解决方案、模拟、加速、仿真和原型平台紧密集成，同时可充分利用其统一的验证计划和指标驱动式验证流程。另外，广泛动态与形式化VIP产品组合的结合将特别适合于实现嵌入式处理器系统的验证。

    “Jasper的产品被公认为是形式分析领域的技术领导者，目标针对复杂的验证挑战和提高整体验证效率，”Cadence系统与验证部门兼全球销售资深副总裁黄小立(Charlie Huang)表示。“当今的客户在使用Jasper的形式分析解决方案的同时使用Cadence的指标驱动式验证流程以形成广泛的验证解决方案。我们期待欢迎Jasper强大的形式开发专业知识和技术团队加入到Cadence。”

    Jasper与Incisive形式技术和专业知识的结合将导致产业中产生最完整的形式和半形式化产品。随着越来越多的主流客户采用验证应用程序用于IP和SoC开发设计，凭借其广泛的验证产品组合和全球团队优势，Cadence有机会加速在新兴的形式分析行业的扩张。“Jasper与Cadence一道为顶级客户提供服务将使客户从扩充的形式技术和更广泛的紧密集成的验证解决方案中受益，”Jasper总栽兼CEO Kathryn Kranen表示。“当验证技术结合到一起时可将形式与动态技术合并，形成一个全面的指标驱动验证方法，可实现各方的优势并利用它们之间的整合从而使客户受益。”

    Cadence拟通过可用现金和现有的循环信贷融资为该交易进行融资。该交易预计在2014财年第二个季度完成，但需取决于通常的交易条件包括监管部门的批准。Cadence预计该交易在合并相关会计处理的影响后将会增加其非公认会计原则下2015年度每股收益。对于2014财年非公认会计原则每股收益的影响，Cadence将在报告其2014财年第二季度的财务业绩时提供。对公认会计原则每股收益的影响将在完成估值和购入会计处理后提供。