益华电脑以大约1亿7,000万美元现金，收购形式分析(Formal Analysis)解决方案供应商Jasper Design Automation。

　　益华电脑系统与验证部门兼全球销售资深副总裁黄小立表示，现在客户运用Jasper的形式分析解决方案，搭配益华指标导向验证(Metric-Driven Verification, MDV)，构成涵盖极广的验证解决方案。

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

　　益华与Jasper的组合将会扩大其系统验证平台，并将与益华的除错分析、形式与半形式解决方案、模拟、加速、仿真与拓扑平台紧密整合，同时发扬一致化验证规画与MDV优势。此外，更广大的动态与形式验证VIP产品阵容组合，将特别适合用来实现嵌入式处理器系统验证。

　　益华电脑网址：www.cadence.com