上海阿卡思微电子技术有限公司在上海张江成立，旗下全资子公司成都奥卡思微电科技有限公司于2018年落地于成都高新区，注册资本1200万。目前设有两个研发中心，分别位于上海和成都。目前国内本土*数字前端EDA商用软件提供商，开发*的形式化验证产品和逻辑等价性验证产品，具有独特产品优势。公司将以形式化验证方法为核心，研发硬件芯片和软件形式化软件工具，力争成为*的硬软件形式化方案提供商公司将持续开发更多芯片数字前端EDA软件（如：跨时钟域EDA,代码规则检查EDA和数字前端仿真器EDA），逐步建立完整的芯片数字前端EDA软件流程，解决芯片设计关键流程国外封锁问题！
内容由
提供
恭喜您，提交成功！
您的编辑正在审核中，1个工作日内，会以邮件通知您结果
提交失败。
