数字算法｜阿卡思微电子：为中国自主创“芯”事业添砖加瓦|eda|数字算法|自动化|计算机|阿卡思微电子

园区企业上海阿卡思微电子技术有限公司（以下简称“阿卡思微电子”）成立于2020年，并于2021年入驻上海浦东软件园郭守敬园，致力于开发国际领先、具有完全自主知识产权的数字EDA产品。

乘势而上，入局EDA赛道

EDA是电子设计自动化（Electronic Design Automation）的简称，是用于辅助完成超大规模集成电路芯片设计、制造、封装、测试整个流程的计算机软件，被称为“芯片之母”。立足于最新EDA技术，结合本土用户需求，阿卡思微电子竭诚服务中国芯片自主设计产业，主要业务为集成电路设计自动化系统的研发和咨询。值得一提的是，阿卡思微电子不仅是上海市重点EDA企业、EDA2联盟成员、数字化工业软件联盟（DISA）成员，还是国内唯一商用数字前端形式化验证EDA软件提供商。

阿卡思微电子由硅谷知名专家创立，聚集尖端行业人才，公司核心团队平均具有15年以上全球EDA行业深耕经验。凭借在形式化方法领域的深厚技术积累及深入产品实践，阿卡思微电子已推出两款商用性能优异的验证工具及形式验证APP，服务于复杂芯片设计及通用设计流程。目前，阿卡思微电子在研产品已覆盖数字信息、智能硬件、航空航天、人工智能等行业需求。

填补空白，推出形式化验证工具AveMC

形式验证工具领域长期以来呈现少数国外企业独领风骚的局面，国内企业想要从中突破困难重重。阿卡思微电子创始团队掌握集成电路设计自动化核心技术，以业内先进产品为起点，不断创新。不同于其他EDA工具企业，阿卡思微电子凭借形式化功能验证、等价性功能验证、芯片及软件信息安全、低能耗设计优化及验证、可编程逻辑（FPGA）验证等核心技术优势，针对前端设计环节推出形式化验证EDA工具——AveMC。

图片来源：阿卡思微电子微信公众号

AveMC在形式验证覆盖率分析、空泛性检查、属性可视化等技术方面全球领先。除功能和性能竞争力外，AveMC还可用图形化方式，帮助用户快速建立属性和约束模型，数据表明模块仅占形式验证时间的三分之一；以更为精确的模型和计算速度，发现其他工具忽略的属性完备性并检查漏洞；凭借开放构架，让用户根据具体设计和验证场景构建工具；支持云计算模式，配置最为合理的计算能力。目前，AveMC已获国内顶尖芯片设计企业使用。

持续创新，提供一站式验证产品及服务

此外，阿卡思微电子还推出逻辑等价性检查EDA工具——AveCEC。AveCEC支持设计全流程，可独立于任何工具实现，能处理大型设计。采用数学方法，AveCEC无需测试向量，即可确保设计实现和黄金设计一致。同时，AveCEC还具有工具处理速度快、快速查错、较强debug能力，支持复杂datapath优化、先进门钟设计优化（Clock Gating）、FPGA设计流程，以及可验证整个SOC设计等特点及优势。