公司描述： 上海阿卡思微电子技术有限公司主要业务为集成电路设计自动化系统（EDA）的研发和咨询。公司立足于最新的EDA技术，结合本土用户需求，竭诚服务中国芯片自主设计产业。目前，公司已成功推出两款形式验证工具。