全球電子設計創新領先企業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財年第二季度的財務業績時提供。對公認會計原則每股收益的影響將在完成估值和購入會計處理后提供。