袁军|提供形式化验证EDA工具，「阿卡思」助力中国自主创＂芯＂( 二 )

阿卡思AveCEC运用形式化验证的静态分析方法，能够简单快速地帮助用户确保在每一次电路文件发生改动之后，电路的功能仍然不变。
据介绍，阿卡思AveCEC具有很高的兼容性，其不与任何综合工具绑定，而是独立于其他综合工具运行，也无需其他综合工具提供综合优化描述文件。作为第三方软件，阿卡思AveCEC保持了高度的中立性和客观性。
同时，AveCEC还具备强大的功能完整性和可扩展性，无论是RTL到网表的等价性检查还是网表到网表的等价性检查，都在该工具的功能覆盖范围之内。
【袁军|提供形式化验证EDA工具，「阿卡思」助力中国自主创"芯"】

阿卡思AveMC界面
目前阿卡思已经与国内某芯片大厂完成了深度合作，在高性能计算、人工智能等领域也与多家头部客户建立了业务绑定，同时在各领域的研究所中也做到了产品的落地，并登录了亚马逊云平台和华为云平台。
即使近年来国产EDA工具领域玩家日益增多，但阿卡思仍是前端验证工具环节中为数不多的实现了工具商业化并完成市场部署的公司。
袁军表示：“EDA工具是一个很容易被验证性能的产品，用两个工具去验证同一个设计文件，哪个能在更短的时间里得到更准确的结果，那它的性能就是优秀的，就是会被用户认可的。阿卡思就是国内形式化验证工具的代表。”
阿卡思产品的收付费方式为国际上惯用的年费授权，目前全部采用直销模式进行市场推广，预计今年全年的营业额将达到千万元级别。
人员方面，阿卡思目前拥有员工30余人，几乎全部为技术研发人员。
袁军告诉创业邦：“由于国内EDA市场刚刚兴起，很多环节还不完善，在人才方面也面临着紧缺的问题，从人才培养到市场机制都需要全面发展，当然阿卡思也在开足马力扩充自己的队伍，以保证我们产品的更新和技术的迭代。”
融资方面，7月2日阿卡思宣布完成了数千万元Pre-A轮融资，本轮融资由上海合见工业软件集团有限公司领投，哈勃科技投资有限公司、上海科技创业投资有限公司和上海张江燧峰创新股权投资基金合伙企业（有限合伙）跟投。据了解，本轮融资将用于扩充人员和开拓EDA新产品。

本文来源于阿卡思、摄图网，经授权使用。本文为创业邦原创，未经授权不得转载，否则创业邦将保留向其追究法律责任的权利。如需转载或有任何疑问，请联系