阿卡思ARCAS认领

上海阿卡思微电子成立于2020年，主要业务为集成电路设计自动化系统(EDA)的研发和咨询，目前成功推出AveMC自动化验证工具软件和AveCEC等价验