Jasper 是快速成長(zhǎng)的形式分析技術(shù)領(lǐng)導(dǎo)廠(chǎng)商，提供建立在 JasperGold 平臺(tái)上的多重驗(yàn)證解決方案(Verification Apps)。Jasper的客戶(hù)包括許多頂尖系統(tǒng)、半導(dǎo)體與IP公司。這些公司也都是Cadence的客戶(hù)，紛紛采用形式分析來(lái)補(bǔ)強(qiáng)傳統(tǒng)的驗(yàn)證方法，并期望能更妥善地克服越來(lái)越復(fù)雜而且彈性化的IP設(shè)計(jì)與系統(tǒng)芯片(SoCs)的驗(yàn)證挑戰(zhàn)。而驗(yàn)證占了70%以上的系統(tǒng)芯片開(kāi)發(fā)成本，成為最大的系統(tǒng)與SoC開(kāi)發(fā)挑戰(zhàn)，也是上市前置時(shí)間的關(guān)鍵因素。

Jasper的技術(shù)優(yōu)勢(shì)就是高度補(bǔ)強(qiáng)Cadence System Development Suite，自從2011年以來(lái)，這個(gè)套裝一直都是整合式系統(tǒng)驗(yàn)證解決方案的標(biāo)竿。這個(gè)最佳組合將會(huì)擴(kuò)大業(yè)界最堅(jiān)強(qiáng)且最廣泛系統(tǒng)驗(yàn)證平臺(tái)，并將與 Cadence的除錯(cuò)分析、形式與半角式解決方案、模擬、加速、仿真與拓?fù)淦脚_(tái)緊密整合，同時(shí)發(fā)揚(yáng)一致化驗(yàn)證規(guī)劃與指針導(dǎo)向驗(yàn)證流程(metric- driven verification， MDV)的優(yōu)勢(shì)。此外，更廣大的動(dòng)態(tài)與形式驗(yàn)證VIP產(chǎn)品陣容的組合將特別適合用來(lái)實(shí)現(xiàn)嵌入式處理器系統(tǒng)驗(yàn)證。

Cadence 系統(tǒng)與驗(yàn)證部門(mén)兼全球銷(xiāo)售資深副總裁黃小立(Charlie Huang)表示：“在形式分析領(lǐng)域，Jasper的產(chǎn)品是眾所公認(rèn)的技術(shù)領(lǐng)袖，以克服復(fù)雜驗(yàn)證挑戰(zhàn)和提高整體生產(chǎn)力為目標(biāo)。現(xiàn)在客戶(hù)運(yùn)用Jasper的 形式分析解決方案搭配Cadence MDV驗(yàn)證流程，構(gòu)成涵蓋極廣的驗(yàn)證解決方案。我們熱切歡迎Jasper堅(jiān)強(qiáng)的專(zhuān)家與團(tuán)隊(duì)加入Cadence?！?/p>

Jasper與Incisive 形式技術(shù)與專(zhuān)業(yè)的結(jié)合將實(shí)現(xiàn)業(yè)界最完善的形式與半角式產(chǎn)品陣容。藉由更廣大的驗(yàn)證產(chǎn)品陣容與全球團(tuán)隊(duì)，隨著更多主流客戶(hù)采用Verification Apps來(lái)進(jìn)行IP與SoC開(kāi)發(fā)工作，Cadence將能加速擴(kuò)大新興形式分析市場(chǎng)。

Jasper 總裁兼首席執(zhí)行官Kathryn Kranen表示：“Jasper與Cadence為頂尖客層提供服務(wù)，這些客戶(hù)將因更廣泛的形式技術(shù)和更廣大、更密切整合的驗(yàn)證解決方案而獲益良多。雙 方的驗(yàn)證技術(shù)結(jié)合在一起，融合形式與動(dòng)態(tài)技術(shù)，強(qiáng)化雙方各自的優(yōu)點(diǎn)并駕馭雙方的整合力量，透過(guò)周延的MDV驗(yàn)證方法讓客戶(hù)獲益?！?/p>

Cadence 計(jì)劃以現(xiàn)金與既有的循環(huán)性貸款挹注這項(xiàng)交易。受慣例成交條件限制，包括監(jiān)管部門(mén)的審核，該交易預(yù)計(jì)將于2014會(huì)計(jì)年度第二季順利結(jié)束。Cadence預(yù) 期，繼并購(gòu)相關(guān)的會(huì)計(jì)結(jié)算之后，這項(xiàng)交易將反應(yīng)到2015會(huì)計(jì)年度的非公認(rèn)會(huì)計(jì)原則之每股盈余之上。2014會(huì)計(jì)年度的非公認(rèn)會(huì)計(jì)原則之每股盈余的影響將 在Cadence報(bào)告2014會(huì)計(jì)年度財(cái)報(bào)中提供。評(píng)估與收購(gòu)會(huì)計(jì)完成后即可提供公認(rèn)會(huì)計(jì)原則之每股盈余(GAAP earnings per share)的影響。