首页

产品服务

架构设计

架构设计工具

技术IP模块库

演示案例

软件仿真

软件仿真工具

硬件仿真

硬件仿真系统

原型验证

逻辑矩阵 LX

逻辑系统 LS

逻辑模块 LM

自动原型编译软件

深度调试套件

协同仿真软件

外置应用库

形式验证

形式化等价性验证 EsseFECT

组合逻辑等价性验证 EsseFCEC

模型检查
EsseFPV

连接性检查
EsseCC

覆盖不可达性检查 EsseUNR

数字调试

数字电路调试软件

EDA云

EDA云服务

EDA云软件

【选型指南】

产品选型指南

解决方案

精准芯策略

异构验证方法

左移周期，并行驱动

验证工具

验证工具对比

完整验证方法

热门应用

Arm Automotive

Arm Smart IoT

RISC-V

物联网 IoT

高性能计算

图像处理

网络通信

汽车应用

设计阶段

设计探究

IP 开发

硬件验证

系统检验

软件开发

兼容性测试

客户案例

热门资源

技术文档

科普视频

其他视频

FAQ

线上研讨会

关于我们

公司概况

公司简介

发展历程

公司荣誉

最新资讯

公司新闻

媒体报道

活动信息

加入我们

联系我们