基于ARM处理器的“锦囊”充分利用Cadence Plan-to-Closure的方法学和经过ARM 技术认证的AMBA验证IP【2006年7月3日法国尼斯,CDN Live! EME
采用Incisive Formal Verifier进行形式分析, Oki提升了设计团队生产力和产品整体品质【2006年7月10日加州圣何塞市】Cadence设计系统公司(