掌微科技采用Cadence Encounter數(shù)字IC設(shè)計(jì)平臺(tái)加速GPS芯片設(shè)計(jì)

       Cadence宣布掌微科技（Centrality CommunICations）采用了具有全局綜合技術(shù)的Cadence® Encounter® RTL Compiler和Encounter Conformal® Equivalence Checker設(shè)計(jì)工具，成功加速了其芯片實(shí)體設(shè)計(jì)過(guò)程，并大大縮小了芯片尺寸。在Cadence先進(jìn)設(shè)計(jì)工具的幫助下，芯片設(shè)計(jì)周期短，硅片（QoS）質(zhì)量高，產(chǎn)品更具有市場(chǎng)競(jìng)爭(zhēng)力。 
  
        在Centrality Atlas™導(dǎo)航處理器系列芯片設(shè)計(jì)中，掌微科技采用Cadence Encounter RTL Compiler XL和Encounter Conformal Equivalence Checker設(shè)計(jì)工具，為導(dǎo)航及娛樂系統(tǒng)（NIS）市場(chǎng)帶來(lái)功能與價(jià)值方面的嶄新標(biāo)準(zhǔn)。掌微科技還在Cadence技術(shù)幫助下成功化解項(xiàng)目中的設(shè)計(jì)瓶頸，為項(xiàng)目節(jié)省長(zhǎng)達(dá)半個(gè)月的時(shí)間，大大加快了產(chǎn)品上市速度。 
  
        具有全局綜合技術(shù)的Encounter RTL Compiler能使設(shè)計(jì)團(tuán)隊(duì)發(fā)揮更好的水平，在更短時(shí)間內(nèi)，設(shè)計(jì)出更具競(jìng)爭(zhēng)力的產(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ù)流、存儲(chǔ)器和定制邏輯，并可在低功耗下執(zhí)行各項(xiàng)驗(yàn)證任務(wù)。 
  
        具有全局綜合技術(shù)的Encounter RTL Compiler和Encounter Conformal Equivalence Checker是Cadence Encounter數(shù)字IC設(shè)計(jì)平臺(tái)的核心技術(shù)，也是Cadence Logic Design Team Solution的重要組成部分。具有全局綜合技術(shù)的Encounter RTL Compiler現(xiàn)可提供L, XL和GXL三套方案，可以更好的滿足客戶在不同級(jí)別復(fù)雜性設(shè)計(jì)中的各種需求。