AveCEC 等价性检查工具
AveCEC 是一款针对集成电路的等价性检查工具，专注于验证不同抽象级别设计（如RTL与门级网表）之间的逻辑一致性。通过形式化方法自动比较设计转换前后的功能行为，确保在工艺优化或布局布线后设计等价。工具支持高效算法减少验证时间。
AveMC 模型检查工具
AveMC 是一款基于形式验证的模型检查工具，用于集成电路设计中对硬件描述语言（如Verilog）进行自动验证，确保逻辑设计的正确性。它采用先进的模型检查算法，帮助设计者检测设计规范与实现之间的差异，如死锁、安全性漏洞等。该工具支持多线程处理，高效处理复杂设计模型。
融资次数
3
员工数量
小于50人
专利数量
3
经营范围
一般项目：从事微电子科技领域内的技术开发、技术咨询、技术服务、技术转让，软件开发，软件销售，集成电路芯片及产品的设计、研发、销售。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
研发和咨询集成电路设计自动化系统（EDA），专注于形式验证工具的开发与技术服务，致力于服务中国芯片自主设计产业的发展。
上海阿卡思微电子技术有限公司
有限责任公司(自然人投资或控股)
￥1,600万
2020-05-21
袁健
021-50206910
zhumin@arcas-da.com
中国（上海）自由贸易试验区集创路200号、银冬路491号1幢110室