公司主要业务为集成电路设计自动化系统(EDA)的研发和咨询。公司立足于最新的EDA技术,结合本土用户需求,竭诚服务中国芯片自主设计产业。目前,公司已成功推出两款形式验证工具。 公司自成立以来,已获得首轮融资,目前成功推出了两款逻辑验证产品(AveMC自动化验证工具软件和AveCEC等价验证工具软件),其他多项正在预研中。未来,公司会持续研发后续产品,推出面向整个亚太地区的培训和咨询服务,开发中国/亚洲及北美市场。