掌微科技(Centrality Communications)采用了具有全局综合技术的Cadence Encounter RTL Compiler和Encounter Conformal Equivalence Checker设计工具，成功加速了其芯片实体设计过程，并大大缩小了芯片尺寸。