阿卡思微电子 - 公司详情 - 产品介绍

一个全面的形式验证解决方案，整合了多引擎技术（包括定理证明和不动点引擎），适用于复杂芯片设计的验证场景，提供覆盖率分析、断言验证和基于属性的检测功能，以提升设计可靠性和效率，特别针对大规模集成芯片的错误预防和验证完整性优化。

一款用于集成电路设计的自动化验证工具，支持RTL（寄存器传输级）和门级电路的形式化验证，基于先进的模型检测技术（如符号模型检测和有限状态机验证），提供强大的属性验证功能，帮助检测设计缺陷、确保逻辑正确性，并优化验证周期。

融资次数

员工数量

小于50人

专利数量

经营范围

一般项目：从事微电子科技领域内的技术开发、技术咨询、技术服务、技术转让，软件开发，软件销售，集成电路芯片及产品的设计、研发、销售。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）

主营业务

研发和咨询集成电路设计自动化系统（EDA），专注于形式验证工具的开发与技术服务，致力于服务中国芯片自主设计产业的发展。

公司全称

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

公司类型

有限责任公司(自然人投资或控股)

注册资本

￥1,600万

成立时间

2020-05-21

法定代表人

袁健

电话

021-50206910

邮箱

zhumin@arcas-da.com

网址

地址

中国（上海）自由贸易试验区集创路200号、银冬路491号1幢110室