當(dāng)前位置:首頁 > 智能硬件 > 半導(dǎo)體
[導(dǎo)讀][導(dǎo)讀] 日益增長的驗(yàn)證復(fù)雜性正推動著包括形式分析的多種互補(bǔ)驗(yàn)證方法的需求,而 Jasper是快速增長形式分析行業(yè)的領(lǐng)導(dǎo)者,目標(biāo)針對各種復(fù)雜驗(yàn)證的挑戰(zhàn),Cadence與Jasper的結(jié)合將擴(kuò)大產(chǎn)業(yè)最強(qiáng)與最廣泛的系統(tǒng)驗(yàn)證產(chǎn)品的

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

2014年4月25日,中國——全球電子設(shè)計(jì)創(chuàng)新領(lǐng)先企業(yè)Cadence設(shè)計(jì)系統(tǒng)公司(NASDAQ: CDNS)今天宣布,該公司已達(dá)成一項(xià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)金等價(jià)物和短期投資。

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

Jasper的技術(shù)優(yōu)勢與Cadence系統(tǒng)開發(fā)套件具有很強(qiáng)的互補(bǔ)性,后者自2011年起就一直成為集成系統(tǒng)驗(yàn)證解決方案的旗手。兩者的結(jié)合將擴(kuò)大業(yè)界最強(qiáng)與最廣泛的系統(tǒng)驗(yàn)證平臺的差異優(yōu)勢,并將與Cadence常見的調(diào)試分析、形式和半形式化解決方案、模擬、加速、仿真和原型平臺緊密集成,同時(shí)可充分利用其統(tǒng)一的驗(yàn)證計(jì)劃和指標(biāo)驅(qū)動式驗(yàn)證流程。另外,廣泛動態(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)針對復(fù)雜的驗(yàn)證挑戰(zhàn)和提高整體驗(yàn)證效率,”Cadence系統(tǒng)與驗(yàn)證部門兼全球銷售資深副總裁黃小立(Charlie Huang)表示。“當(dāng)今的客戶在使用Jasper的形式分析解決方案的同時(shí)使用Cadence的指標(biāo)驅(qū)動式驗(yàn)證流程以形成廣泛的驗(yàn)證解決方案。我們期待歡迎Jasper強(qiáng)大的形式開發(fā)專業(yè)知識和技術(shù)團(tuán)隊(duì)加入到Cadence。”

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

Cadence擬通過可用現(xiàn)金和現(xiàn)有的循環(huán)信貸融資為該交易進(jìn)行融資。該交易預(yù)計(jì)在2014財(cái)年第二個(gè)季度完成,但需取決于通常的交易條件包括監(jiān)管部門的批準(zhǔn)。Cadence預(yù)計(jì)該交易在合并相關(guān)會計(jì)處理的影響后將會增加其非公認(rèn)會計(jì)原則下2015年度每股收益。對于2014財(cái)年非公認(rèn)會計(jì)原則每股收益的影響,Cadence將在報(bào)告其2014財(cái)年第二季度的財(cái)務(wù)業(yè)績時(shí)提供。對公認(rèn)會計(jì)原則每股收益的影響將在完成估值和購入會計(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)體器件。公司總部位于美國加州圣荷塞市,在世界各地均設(shè)有銷售辦事處、設(shè)計(jì)中心和研究機(jī)構(gòu),以服務(wù)于全球電子產(chǎn)業(yè)。

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運(yùn)營商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學(xué)會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團(tuán))股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉