面向SoC设计的合作伙伴EDA工具 许可证管理 HPC环境集成运行中间件ShareTask RTL设计 数字实现/验证 芯片级实现/验证 SDC验证,生成,管理(Promotion, Merge) RTL设计 Top-down设计 模拟Verilog建模 模拟电路的高精度SystemVerilog建模 / 验证 RTL设计 低功率化 RTL高精度/高速功耗分析 SOC规划 数据流驱动 布图规划,布置 SPICE建模 模拟,芯片级验证噪声测量 SPICE仿真器,建模,噪声测量系统 模拟实现/验证 综合电路/版图设计系统 IP 最先进工艺的IP:PLL / SerDes / LVDS-IO IP 验证IP工具集(USB~AMBA 80及以上) 电路板实现 基于拓扑的高布线率的自动布线 EMC验证 EMC虚拟实验室(RE/CE/RI/CI) Mask验证 用于DFM/Mask验证的分析浏览工具