Cadence宣布收購形式分析方案供應商Jasper
[導讀]益華電腦(CadenceDesignSystems)宣布簽署最終合約,以大約1億7,000萬美元現(xiàn)金收購形式分析(formalanalysis)解決方案領導供應商JasperDesignAutomation。至2013年12月31日為止,Jasper擁有約2,400萬美元現(xiàn)金、約當現(xiàn)金
益華電腦(CadenceDesignSystems)宣布簽署最終合約,以大約1億7,000萬美元現(xiàn)金收購形式分析(formalanalysis)解決方案領導供應商JasperDesignAutomation。至2013年12月31日為止,Jasper擁有約2,400萬美元現(xiàn)金、約當現(xiàn)金與短期投資。
Jasper是快速成長的形式分析技術領導廠商,提供建立在JasperGold平臺上的多重驗證解決方案(VerificationApps)。Jasper的客戶包括許多頂尖系統(tǒng)、半導體與IP公司。這些公司也都是Cadence的客戶,紛紛采用形式分析來補強傳統(tǒng)的驗證方法,并期望能更妥善地克服越來越復雜而且彈性化的IP設計與系統(tǒng)晶片(SoCs)的驗證挑戰(zhàn)。而驗證占了70%以上的系統(tǒng)晶片開發(fā)成本,成為最大的系統(tǒng)與SoC開發(fā)挑戰(zhàn),也是上市前置時間的關鍵因素。
Jasper的技術優(yōu)勢就是高度補強CadenceSystemDevelopmentSuite,自從2011年以來,這個套裝一直都是整合式系統(tǒng)驗證解決方案的標竿。這個最佳組合將會擴大業(yè)界最堅強且最廣泛系統(tǒng)驗證平臺,并將與Cadence的除錯分析、形式與半形式解決方案、模擬、加速、仿真與拓撲平臺緊密整合,同時發(fā)揚一致化驗證規(guī)劃與指標導向驗證流程(metric-drivenverification,MDV)的優(yōu)勢。此外,更廣大的動態(tài)與形式驗證VIP產品陣容的組合將特別適合用來實現(xiàn)嵌入式處理器系統(tǒng)驗證。
Cadence系統(tǒng)與驗證部門兼全球銷售資深副總裁黃小立(CharlieHuang)表示:「在形式分析領域,Jasper的產品是眾所公認的技術領袖,以克服復雜驗證挑戰(zhàn)和提高整體生產力為目標?,F(xiàn)在客戶運用Jasper的形式分析解決方案搭配CadenceMDV驗證流程,構成涵蓋極廣的驗證解決方案。我們熱切歡迎Jasper堅強的專家與團隊加入Cadence?!?BR>
Jasper與Incisive形式技術與專業(yè)的結合將實現(xiàn)業(yè)界最完善的形式與半形式產品陣容。藉由更廣大的驗證產品陣容與全球團隊,隨著更多主流客戶采用VerificationApps來進行IP與SoC開發(fā)工作,Cadence將能加速擴大新興形式分析市場。
Jasper總裁兼執(zhí)行長KathrynKranen表示:「Jasper與Cadence為頂尖客層提供服務,這些客戶將因更廣泛的形式技術和更廣大、更密切整合的驗證解決方案而獲益良多。雙方的驗證技術結合在一起,融合形式與動態(tài)技術,強化雙方各自的優(yōu)點并駕馭雙方的整合力量,透過周延的MDV驗證方法讓客戶獲益?!?BR>
Cadence計劃以現(xiàn)金與既有的循環(huán)性貸款挹注這項交易。受慣例成交條件限制,包括監(jiān)管部門的審核,該交易預計將于2014會計年度第二季順利結束。Cadence預期,繼并購相關的會計結算之后,這項交易將反應到2015會計年度的非公認會計原則之每股盈余之上。2014會計年度的非公認會計原則之每股盈余的影響將在Cadence報告2014會計年度財報中提供。評估與收購會計完成后即可提供公認會計原則之每股盈余(GAAPearningspershare)的影響。
Jasper是快速成長的形式分析技術領導廠商,提供建立在JasperGold平臺上的多重驗證解決方案(VerificationApps)。Jasper的客戶包括許多頂尖系統(tǒng)、半導體與IP公司。這些公司也都是Cadence的客戶,紛紛采用形式分析來補強傳統(tǒng)的驗證方法,并期望能更妥善地克服越來越復雜而且彈性化的IP設計與系統(tǒng)晶片(SoCs)的驗證挑戰(zhàn)。而驗證占了70%以上的系統(tǒng)晶片開發(fā)成本,成為最大的系統(tǒng)與SoC開發(fā)挑戰(zhàn),也是上市前置時間的關鍵因素。
Jasper的技術優(yōu)勢就是高度補強CadenceSystemDevelopmentSuite,自從2011年以來,這個套裝一直都是整合式系統(tǒng)驗證解決方案的標竿。這個最佳組合將會擴大業(yè)界最堅強且最廣泛系統(tǒng)驗證平臺,并將與Cadence的除錯分析、形式與半形式解決方案、模擬、加速、仿真與拓撲平臺緊密整合,同時發(fā)揚一致化驗證規(guī)劃與指標導向驗證流程(metric-drivenverification,MDV)的優(yōu)勢。此外,更廣大的動態(tài)與形式驗證VIP產品陣容的組合將特別適合用來實現(xiàn)嵌入式處理器系統(tǒng)驗證。
Cadence系統(tǒng)與驗證部門兼全球銷售資深副總裁黃小立(CharlieHuang)表示:「在形式分析領域,Jasper的產品是眾所公認的技術領袖,以克服復雜驗證挑戰(zhàn)和提高整體生產力為目標?,F(xiàn)在客戶運用Jasper的形式分析解決方案搭配CadenceMDV驗證流程,構成涵蓋極廣的驗證解決方案。我們熱切歡迎Jasper堅強的專家與團隊加入Cadence?!?BR>
Jasper與Incisive形式技術與專業(yè)的結合將實現(xiàn)業(yè)界最完善的形式與半形式產品陣容。藉由更廣大的驗證產品陣容與全球團隊,隨著更多主流客戶采用VerificationApps來進行IP與SoC開發(fā)工作,Cadence將能加速擴大新興形式分析市場。
Jasper總裁兼執(zhí)行長KathrynKranen表示:「Jasper與Cadence為頂尖客層提供服務,這些客戶將因更廣泛的形式技術和更廣大、更密切整合的驗證解決方案而獲益良多。雙方的驗證技術結合在一起,融合形式與動態(tài)技術,強化雙方各自的優(yōu)點并駕馭雙方的整合力量,透過周延的MDV驗證方法讓客戶獲益?!?BR>
Cadence計劃以現(xiàn)金與既有的循環(huán)性貸款挹注這項交易。受慣例成交條件限制,包括監(jiān)管部門的審核,該交易預計將于2014會計年度第二季順利結束。Cadence預期,繼并購相關的會計結算之后,這項交易將反應到2015會計年度的非公認會計原則之每股盈余之上。2014會計年度的非公認會計原則之每股盈余的影響將在Cadence報告2014會計年度財報中提供。評估與收購會計完成后即可提供公認會計原則之每股盈余(GAAPearningspershare)的影響。





