成都奥卡思微电科技有限公司招聘

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