架构设计

        架构设计工具

            架构类型

            抽象层次

            仿真技术

        技术IP模块库

        演示案例

    软件仿真

        软件仿真工具

    硬件仿真

        硬件仿真系统

    原型验证

        逻辑矩阵 LX

        逻辑系统 LS

        逻辑模块 LM

        自动原型编译软件

        深度调试套件

        协同仿真软件

        外置应用库

    形式验证

        形式化等价性验证 EsseFECT

        组合逻辑等价性验证 EsseFCEC

        模型检查 <br/>EsseFPV

        连接性检查<br/>EsseCC

        覆盖不可达性检查 EsseUNR

    数字调试

        数字电路调试软件

    EDA云

        EDA云服务

        EDA云软件

    【选型指南】

        产品选型指南

    精准芯策略

        异构验证方法

        左移周期，并行驱动

    验证工具

        验证工具对比

        完整验证方法

    热门应用

        Arm

        RISC-V

        物联网 IoT

        高性能计算

        图像处理

        网络通信

        汽车应用

    设计阶段

        设计探究

        IP 开发

        硬件验证

        系统检验

        软件开发

        兼容性测试

    技术文档

    科普视频

    其他视频

    FAQ

    线上研讨会

    公司概况

        公司简介

        发展历程

        公司荣誉

    最新资讯

        公司新闻

        媒体报道

        活动信息

    加入我们

    联系我们