掌微科技采用Cadence Encounter數(shù)字IC設(shè)計(jì)平臺加速GPS芯片設(shè)計(jì)
——
在Centrality Atlas™導(dǎo)航處理器系列芯片設(shè)計(jì)中,掌微科技采用Cadence Encounter RTL Compiler XL和Encounter Conformal Equivalence Checker設(shè)計(jì)工具,為導(dǎo)航及娛樂系統(tǒng)(NIS)市場帶來功能與價(jià)值方面的嶄新標(biāo)準(zhǔn)。掌微科技還在Cadence技術(shù)幫助下成功化解項(xiàng)目中的設(shè)計(jì)瓶頸,為項(xiàng)目節(jié)省長達(dá)半個(gè)月的時(shí)間,大大加快了產(chǎn)品上市速度。
具有全局綜合技術(shù)的Encounter RTL Compiler能使設(shè)計(jì)團(tuán)隊(duì)發(fā)揮更好的水平,在更短時(shí)間內(nèi),設(shè)計(jì)出更具競爭力的產(chǎn)品。目前,全球二百多家企業(yè)都已在消費(fèi)電子、通訊、網(wǎng)絡(luò)、圖形等高度復(fù)雜的產(chǎn)品設(shè)計(jì)中采用了這項(xiàng)先進(jìn)的Encounter技術(shù)。
Encounter Conformal Equivalence Checker使用自主開發(fā)的形式技術(shù)驗(yàn)證片上系統(tǒng)(SoC)從RTL 到版圖的設(shè)計(jì)。Encounter Conformal Equivalence Checker提供唯一完整的等效檢查(Equivalence Check)解決方案,能夠驗(yàn)證眾多電路類型,包括復(fù)雜算術(shù)邏輯、數(shù)據(jù)流、存儲器和定制邏輯,并可在低功耗下執(zhí)行各項(xiàng)驗(yàn)證任務(wù)。
具有全局綜合技術(shù)的Encounter RTL Compiler和Encounter Conformal Equivalence Checker是Cadence Encounter數(shù)字IC設(shè)計(jì)平臺的核心技術(shù),也是Cadence Logic Design Team Solution的重要組成部分。具有全局綜合技術(shù)的Encounter RTL Compiler現(xiàn)可提供L, XL和GXL三套方案,可以更好的滿足客戶在不同級別復(fù)雜性設(shè)計(jì)中的各種需求。
評論