[導(dǎo)讀] 日益增長(zhǎng)的驗(yàn)證復(fù)雜性正推動(dòng)著包括形式分析的多種互補(bǔ)驗(yàn)證方法的需求，而 Jasper是快速增長(zhǎng)形式分析行業(yè)的領(lǐng)導(dǎo)者，目標(biāo)針對(duì)各種復(fù)雜驗(yàn)證的挑戰(zhàn)，Cadence與Jasper的結(jié)合將擴(kuò)大產(chǎn)業(yè)最強(qiáng)與最廣泛的系統(tǒng)驗(yàn)證產(chǎn)品的差異性優(yōu)勢(shì)。 關(guān)鍵詞：IP核CadenceSOC

2014年4月25日，中國(guó)——全球電子設(shè)計(jì)創(chuàng)新領(lǐng)先企業(yè)Cadence設(shè)計(jì)系統(tǒng)公司（NASDAQ： CDNS）今天宣布，該公司已達(dá)成一項(xiàng)最終協(xié)議，以現(xiàn)金約1.7億美元收購(gòu)形式分析（formal analysis）解決方案領(lǐng)先供應(yīng)商Jasper Design Automation， Inc.。截止2013年12月31日，Jasper約有2，400萬(wàn)美元的現(xiàn)金、現(xiàn)金等價(jià)物和短期投資。

Jasper設(shè)計(jì)自動(dòng)化公司是快速增長(zhǎng)的形式分析行業(yè)市場(chǎng)和技術(shù)的領(lǐng)導(dǎo)者，利用其JasperGold®平臺(tái)提供多種驗(yàn)證解決方案（Verification Apps）。Jasper的客戶包括眾多頂級(jí)系統(tǒng)、半導(dǎo)體和IP公司。這些公司，同時(shí)也是Cadence的客戶，正越來(lái)越多地采用形式分析以補(bǔ)充傳統(tǒng)的驗(yàn)證方法，從而更好地應(yīng)對(duì)需要驗(yàn)證日益復(fù)雜和靈活的IP設(shè)計(jì)以及系統(tǒng)級(jí)芯片（SoCs）設(shè)計(jì)的挑戰(zhàn)。隨著驗(yàn)證占據(jù)開(kāi)發(fā)系統(tǒng)級(jí)芯片設(shè)計(jì)的成本超過(guò)70%，驗(yàn)證已成為頂級(jí)系統(tǒng)和SoC開(kāi)發(fā)的挑戰(zhàn)以及滿足產(chǎn)品上市時(shí)間的關(guān)鍵因素。

Jasper的技術(shù)優(yōu)勢(shì)與Cadence系統(tǒng)開(kāi)發(fā)套件具有很強(qiáng)的互補(bǔ)性，后者自2011年起就一直成為集成系統(tǒng)驗(yàn)證解決方案的旗手。兩者的結(jié)合將擴(kuò)大業(yè)界最強(qiáng)與最廣泛的系統(tǒng)驗(yàn)證平臺(tái)的差異優(yōu)勢(shì)，并將與Cadence常見(jiàn)的調(diào)試分析、形式和半形式化解決方案、模擬、加速、仿真和原型平臺(tái)緊密集成，同時(shí)可充分利用其統(tǒng)一的驗(yàn)證計(jì)劃和指標(biāo)驅(qū)動(dòng)式驗(yàn)證流程。另外，廣泛動(dòng)態(tài)與形式化VIP產(chǎn)品組合的結(jié)合將特別適合于實(shí)現(xiàn)嵌入式處理器系統(tǒng)的驗(yàn)證。

“Jasper的產(chǎn)品被公認(rèn)為是形式分析領(lǐng)域的技術(shù)領(lǐng)導(dǎo)者，目標(biāo)針對(duì)復(fù)雜的驗(yàn)證挑戰(zhàn)和提高整體驗(yàn)證效率，”Cadence系統(tǒng)與驗(yàn)證部門兼全球銷售資深副總裁黃小立（Charlie Huang）表示。“當(dāng)今的客戶在使用Jasper的形式分析解決方案的同時(shí)使用Cadence的指標(biāo)驅(qū)動(dòng)式驗(yàn)證流程以形成廣泛的驗(yàn)證解決方案。我們期待歡迎Jasper強(qiáng)大的形式開(kāi)發(fā)專業(yè)知識(shí)和技術(shù)團(tuán)隊(duì)加入到Cadence。”

Jasper與Incisive®形式技術(shù)和專業(yè)知識(shí)的結(jié)合將導(dǎo)致產(chǎn)業(yè)中產(chǎn)生最完整的形式和半形式化產(chǎn)品。隨著越來(lái)越多的主流客戶采用驗(yàn)證應(yīng)用程序用于IP和SoC開(kāi)發(fā)設(shè)計(jì)，憑借其廣泛的驗(yàn)證產(chǎn)品組合和全球團(tuán)隊(duì)優(yōu)勢(shì)，Cadence有機(jī)會(huì)加速在新興的形式分析行業(yè)的擴(kuò)張。“Jasper與Cadence一道為頂級(jí)客戶提供服務(wù)將使客戶從擴(kuò)充的形式技術(shù)和更廣泛的緊密集成的驗(yàn)證解決方案中受益，”Jasper總栽兼CEO Kathryn Kranen表示。“當(dāng)驗(yàn)證技術(shù)結(jié)合到一起時(shí)可將形式與動(dòng)態(tài)技術(shù)合并，形成一個(gè)全面的指標(biāo)驅(qū)動(dòng)驗(yàn)證方法，可實(shí)現(xiàn)各方的優(yōu)勢(shì)并利用它們之間的整合從而使客戶受益。”

Cadence擬通過(guò)可用現(xiàn)金和現(xiàn)有的循環(huán)信貸融資為該交易進(jìn)行融資。該交易預(yù)計(jì)在2014財(cái)年第二個(gè)季度完成，但需取決于通常的交易條件包括監(jiān)管部門的批準(zhǔn)。Cadence預(yù)計(jì)該交易在合并相關(guān)會(huì)計(jì)處理的影響后將會(huì)增加其非公認(rèn)會(huì)計(jì)原則下2015年度每股收益。對(duì)于2014財(cái)年非公認(rèn)會(huì)計(jì)原則每股收益的影響，Cadence將在報(bào)告其2014財(cái)年第二季度的財(cái)務(wù)業(yè)績(jī)時(shí)提供。對(duì)公認(rèn)會(huì)計(jì)原則每股收益的影響將在完成估值和購(gòu)入會(huì)計(jì)處理后提供。

關(guān)于 Cadence

Cadence公司成就全球電子設(shè)計(jì)技術(shù)創(chuàng)新，并在創(chuàng)建當(dāng)今集成電路和電子產(chǎn)品中發(fā)揮核心作用。我們的客戶采用Cadence的軟件、硬件、IP、設(shè)計(jì)服務(wù)，設(shè)計(jì)和驗(yàn)證用于消費(fèi)電子、網(wǎng)絡(luò)和通訊設(shè)備以及計(jì)算機(jī)系統(tǒng)中的尖端半導(dǎo)體器件。公司總部位于美國(guó)加州圣荷塞市，在世界各地均設(shè)有銷售辦事處、設(shè)計(jì)中心和研究機(jī)構(gòu)，以服務(wù)于全球電子產(chǎn)業(yè)。