上海阿卡思微电子技术有限公司

公司介绍

上海阿卡思微电子技术有限公司是由硅谷回国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立,旗下全资子公司成都奥卡思微电科技有限公司位于成都高新区。公司核心人员来自于Cadence,Synopsys,Xilinx等国际知名EDA公司和芯片设计公司,具有平均超过15年的全球EDA行业经验,是多项业内知名软件工具的主研或管理者。

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

软件报价
查看所有软件>
应用于芯片设计的功能特性验证,正在越来越多的应用场景取代仿真验证。其使用方法是用户根据设计要求提供验证所需的属性和约束,用数学归纳和推理的方法回答这些属性是否正确。如果不正确会自动生成可用于仿真的激励链,以便于查错。形式验证的数学严密性使它
AveCEC支持设计全流程,能独立于任何工具实现,能处理大型设计。超过半数的设计需要 re-spin. re-spin的主要原因是功能错误;AveCEC采用数学方法, 穷尽所有情况,不需要用测试向量,确保设计实现和黄金设计一致。