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