工具介绍
功能：提供数字验证全流程EDA工具，包括硬件仿真系统、FPGA原型验证系统、智能场景验证、静态与形式验证、逻辑仿真、系统调试以及验证云。
特色：基于EDA 2.0平台，集成智能调试、编译和验证座舱；支持国产服务器架构（如鲲鹏、飞腾）；推出开源工具如EpicSim仿真器和EpicFV形式验证工具。
适用人群：芯片设计公司、半导体工程师、EDA工具开发者、初创企业及高校研究人员。
价格说明：提供免费开源产品和商用级工具，具体商业价格需咨询官方，初创公司可申请免费使用仿真器GalaxSim。
