近日,益華電�(Cadence Design Systems)宣布簽署最終合約,以大�1�7,000萬美元現(xiàn)金收購形式分�(formal analysis)解決方案�(lǐng)�(dǎo)供應(yīng)� Jasper Design Automation 。至2013�12�31日為止,Jasper擁有�2,400萬美元現(xiàn)金、約�(dāng)�(xiàn)金與短期投資�
Jasper 是快速成長的形式分析技�(shù)�(lǐng)�(dǎo)廠商,提供建立在 JasperGold 平臺上的多重�(yàn)證解決方�(Verification
Apps)。Jasper的客戶包括許多頂尖系�(tǒng)、半�(dǎo)體與IP公司。這些公司也都是Cadence的客戶,紛紛采用形式分析來補(bǔ)�(qiáng)傳統(tǒng)的驗(yàn)證方法,并期望能更妥善地克服越來越復(fù)雜而且彈性化的IP�(shè)�(jì)與系�(tǒng)
Jasper的技�(shù)�(yōu)勢就是高度補(bǔ)�(qiáng)Cadence System Development
Suite,自�2011�以來,這個套裝一直都是整合式系統(tǒng)�(yàn)證解決方案的�(biāo)竿。這個最佳組合將會擴(kuò)大業(yè)界最�(jiān)�(qiáng)且最廣泛系統(tǒng)�(yàn)證平臺,并將�
Cadence的除錯分析、形式與半形式解決方案、模擬、加速、仿真與�?fù)淦脚_緊密整合,同時發(fā)�(yáng)一致化�(yàn)證規(guī)劃與指標(biāo)�(dǎo)向驗(yàn)證流�(metric- driven
verification� MDV)的優(yōu)勀此外,更廣大的動態(tài)與形式驗(yàn)證VIP�(chǎn)品陣容的組合將特別適合用來實(shí)�(xiàn)
Cadence系統(tǒng)與驗(yàn)證部門兼全球銷售資深副總裁黃小�(Charlie Huang)表示:「在形式分析�(lǐng)域,Jasper的產(chǎn)品是眾所公認(rèn)的技�(shù)�(lǐng)袖,以克服復(fù)雜驗(yàn)證挑�(zhàn)和提高整體生�(chǎn)力為目標(biāo)。現(xiàn)在客戶運(yùn)用Jasper的形式分析解決方案搭配Cadence MDV�(yàn)證流程,�(gòu)成涵蓋極廣的�(yàn)證解決方案。我們熱切歡迎Jasper�(jiān)�(qiáng)的專家與�(tuán)�(duì)加入Cadence。�
Jasper與Incisive 形式技�(shù)與專�(yè)的結(jié)合將�(shí)�(xiàn)�(yè)界最完善的形式與半形式產(chǎn)品陣容。藉由更廣大的驗(yàn)證產(chǎn)品陣容與全球�(tuán)�(duì),隨著更多主流客戶采用Verification Apps來�(jìn)行IP與SoC開發(fā)工作,Cadence將能加速擴(kuò)大新興形式分析市場�
Jasper總裁兼執(zhí)行長Kathryn
Kranen表示:「Jasper與Cadence為頂尖客層提供服�(wù),這些客戶將因更廣泛的形式技�(shù)和更廣大、更密切整合的驗(yàn)證解決方案而獲益良多。雙方的�(yàn)證技�(shù)�(jié)合在一起,融合形式與動�(tài)技�(shù),強(qiáng)化雙方各自的�(yōu)�(diǎn)并駕馭雙方的�
Cadence�(jì)劃以�(xiàn)金與既有的循�(huán)性貸款挹注這項(xiàng)交易。受慣例成交條件限制,包括監(jiān)管部門的審核,該交易預(yù)�(jì)將于2014會計(jì)年度第二季順利結(jié)束。Cadence�(yù)期,繼并購相�(guān)的會�(jì)�(jié)算之后,這項(xiàng)交易將反�(yīng)�2015會計(jì)年度的非公認(rèn)會計(jì)原則之每股盈余之上�2014會計(jì)年度的非公認(rèn)會計(jì)原則之每股盈余的影響將在Cadence報告2014會計(jì)年度�(cái)報中提供。評估與收購會計(jì)完成后即可提供公�(rèn)會計(jì)原則之每股盈�(GAAP earnings per share)的影響�
�(guān)注我�
公眾號:china_tp
微信名稱:亞威資�
顯示行業(yè)頂級新媒�
掃一掃即可關(guān)注我�