模拟电路设计全流程EDA工具系统原理图和版图编辑工具；电路仿真工具；异构仿真系统；物理验证工具；寄生参数提取工具；版图寄生参数分析工具；功率器件可靠性分析工具；晶体管级电源完整性分析工具；功率器件版图自动化工具存储电路设计全流程 EDA工具系统原理图和版图编辑工具；电路仿真工具；物理验证工具；寄生参数提取工具；晶体管级电源完整性分析工具射频电路设计全流程EDA工具系统射频模型提取工具；硅基射频电路原理图和版图编辑工具；化合物射频电路设计平台 ；高效 SPICE RF仿真器；电路仿真工具；射频电路物理验证工具数字电路设计EDA工具单元库特征化提取工具；存储器电路特征化提取工具；混合信号电路模块特征化提取工具；单元库/IP质量验证工具；形式化属性验证工具 ；组合逻辑等价性验证工具；形式化规则集检查工具；时序功耗优化工具；高精度时序仿真分析工具；时钟质量检视与分析工具；版图集成与分析工具；数字物理验证工具；数字寄生参数提取工具平板显示电路设计全流程EDA工具系统器件模型提取工具 ；原理图和版图编辑工具；电路仿真工具；物理验证工具；寄生参数提取工具；可靠性分析工具晶圆制造EDA工具器件模型提取工具；光刻掩模版布局设计工具；掩模版数据处理验证分析平台；单元库特征化提取工具；存储器电路特征化提取工具

异构验证方法架构设计、软件仿真、硬件仿真、原型验证等不同的验证方法都有各自的优点，也有各自的不足。 异构验证方法是基于最新的验证技术，整合多种验证方法，不断创新验证工具和验证流程，以确保设计出正确的芯片。 Formal等价性检查，模型检查，定理证明，覆盖率分析数字调试 Debugger源代码导航和追踪，全面的波形图调试，直观的原理图展示，深度的覆盖率分析，高效EDIF网表调试验证云 Cloud Service 考量设计规模，在线调试能力，软件调试能力，低部署成本，可重用性，调试能力，编译速度和运行速度，选择不同的验证工具，完成日益复杂的验证项目。 热门应用Arm，RISC-V ，物联网 IoT ，高性能计算 ，图像处理 ，网络通信 ，汽车应用 设计阶段设计探究，IP 开发，硬件验证，系统检验，软件开发，兼容性测试