近日，益华电脑(Cadence Design Systems)宣布签署最终合约，以大约1亿7,000万美元现金收购形式分析(formal analysis)解决方案领导供应商 Jasper Design Automation 。至2013年12月31日为止，Jasper拥有约2,400万美元现金、约当现金与短期投资。

　　Jasper 是快速成长的形式分析技术领导厂商，提供建立在 JasperGold 平台上的多重验证解决方案(Verification Apps)。Jasper的客户包括许多顶尖系统、半导体与IP公司。这些公司也都是Cadence的客户，纷纷采用形式分析来补强传统的验证方法，并期望能更妥善地克服越来越复杂而且弹性化的IP设计与系统晶片(SoCs)的验证挑战。而验证占了70%以上的系统晶片开发成本，成为最大的系统与SoC开发挑战，也是上市前置时间的关键因素。

　　Jasper的技术优势就是高度补强Cadence System Development Suite，自从2011年以来，这个套装一直都是整合式系统验证解决方案的标竿。这个最佳组合将会扩大业界最坚强且最广泛系统验证平台，并将与 Cadence的除错分析、形式与半形式解决方案、模拟、加速、仿真与拓扑平台紧密整合，同时发扬一致化验证规划与指标导向验证流程(metric- driven verification， MDV)的优势。此外，更广大的动态与形式验证VIP产品阵容的组合将特别适合用来实现嵌入式处理器系统验证。

　　Cadence系统与验证部门兼全球销售资深副总裁黄小立(Charlie Huang)表示：「在形式分析领域，Jasper的产品是众所公认的技术领袖，以克服复杂验证挑战和提高整体生产力为目标。现在客户运用Jasper的形式分析解决方案搭配Cadence MDV验证流程，构成涵盖极广的验证解决方案。我们热切欢迎Jasper坚强的专家与团队加入Cadence。」

　　Jasper与Incisive 形式技术与专业的结合将实现业界最完善的形式与半形式产品阵容。藉由更广大的验证产品阵容与全球团队，随着更多主流客户采用Verification Apps来进行IP与SoC开发工作，Cadence将能加速扩大新兴形式分析市场。

　　Jasper总裁兼执行长Kathryn Kranen表示：「Jasper与Cadence为顶尖客层提供服务，这些客户将因更广泛的形式技术和更广大、更密切整合的验证解决方案而获益良多。双方的验证技术结合在一起，融合形式与动态技术，强化双方各自的优点并驾驭双方的整合力量，透过周延的MDV验证方法让客户获益。」

　　Cadence计划以现金与既有的循环性贷款挹注这项交易。受惯例成交条件限制，包括监管部门的审核，该交易预计将于2014会计年度第二季顺利结束。Cadence预期，继并购相关的会计结算之后，这项交易将反应到2015会计年度的非公认会计原则之每股盈余之上。2014会计年度的非公认会计原则之每股盈余的影响将在Cadence报告2014会计年度财报中提供。评估与收购会计完成后即可提供公认会计原则之每股盈余(GAAP earnings per share)的影响。