基于模型检测的形式验证技术
该技术利用数学模型和自动定理证明方法，针对硬件设计规范进行形式化验证，确保逻辑正确性无需物理仿真。核心创新点包括集成并行计算框架和分布式求解器，提升大规模设计验证效率；并结合机器学习算法实现自动属性生成和错误定位，显著降低调试时间，特别优化了中国本地芯片设计中的常见错误模式。
融资次数
3
员工数量
小于50人
专利数量
3
经营范围
一般项目：从事微电子科技领域内的技术开发、技术咨询、技术服务、技术转让，软件开发，软件销售，集成电路芯片及产品的设计、研发、销售。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
研发和咨询集成电路设计自动化系统（EDA），专注于形式验证工具的开发与技术服务，致力于服务中国芯片自主设计产业的发展。
上海阿卡思微电子技术有限公司
有限责任公司(自然人投资或控股)
￥1,600万
2020-05-21
袁健
021-50206910
zhumin@arcas-da.com
中国（上海）自由贸易试验区集创路200号、银冬路491号1幢110室