重點:

- 日益增長的驗證復(fù)雜性正推動著包括形式分析的多種互補驗證方法的需求

- Jasper是快速增長形式分析行業(yè)的領(lǐng)導(dǎo)者，目標(biāo)針對各種復(fù)雜驗證的挑戰(zhàn)

- Cadence與Jasper的結(jié)合將擴大產(chǎn)業(yè)最強與最廣泛的系統(tǒng)驗證產(chǎn)品的差異性優(yōu)勢

21ic訊 Cadence設(shè)計系統(tǒng)公司近日宣布，該公司已達成一項最終協(xié)議，以現(xiàn)金約1.7億美元收購形式分析(formal analysis)解決方案領(lǐng)先供應(yīng)商Jasper Design Automation, Inc.。截止2013年12月31日，Jasper約有2,400萬美元的現(xiàn)金、現(xiàn)金等價物和短期投資。

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

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

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

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

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