---

成都奥卡思微电科技有限公司由硅谷回国的资深电子设计自动化（EDA）专家于2018年在成都高新区创立，公司总部位于上海张江，公司聚集国际知名EDA公司和芯片设计公司具有多年研发经验的尖端人才，基于形式化方法为逻辑芯片设计和工控软件等提供验证工具及咨询服务，凭借着形式化方法领域深厚的技术积累及深入的产品实践，公司已推出两款商用性能优异的验证工具（AveMC模型检验验证工具和AveCEC等价检查验证工具），服务于复杂芯片设计及通用设计流程，获得多个标杆客户采够使用。在研产品及应用包括代码检查 波形调试 高阶等价验证等，覆盖数字信息 智能硬件 航空航天 人工智能等行业需求。公司将最新的EDA技术与本土用户需求相结合，服务于中国集成电路自主可控设计；将产品开发与数字产业趋势相结合，服务于中国技术创新与技术赶超；将技术推广与产品优化相结合，服务于海内外需求市场。致力于成为国内领先的形式化技术开发与服务商。

---

• 联系地址：成都市高新区天府大道中段1268号天府软件园E3-3-201
• 网站：www.arcas-da.com