益華電腦 (Cadence)宣布簽署最終合約，以大約 1 億 7 千萬美元現金收購形式分析 (formal analysis) 解決方案領導供應商 Jasper Design Automation, Inc. 。至 2013 年 12 月 31 日為止， Jasper 擁有約 2 千 4 百萬美元現金、約當現金與短期投資。
Jasper 是快速成長的形式分析技術領導廠商，提供建立在 JasperGold 平台上的多重驗證解決方案 (Verification Apps)。Jasper 的客戶包括許多頂尖系統、半導體與 IP 公司。這些公司也都是 Cadence 的客戶，紛紛採用形式分析來補強傳統的驗證方法，並期望能更妥善地克服越來越複雜而且彈性化的 IP 設計與系統晶片 (SoCs) 的驗證挑戰。而驗證占了 70% 以上的系統晶片開發成本，成為最大的系統與 SoC 開發挑戰，也是上市前置時間的關鍵因素。其技術優勢就是高度補強 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) 的影響。
