C咖啡沙龙“芯未来”公益讲座：智能制造未来暨AI在高端研发制造的革命
2024-06-13
近日，由张江高科、IC咖啡联合主办的“芯未来”公益讲座【2024 第十六场】“形式化验证在芯片设计中的应用”如约开讲。本次讲座荣幸邀请到阿卡思总经理袁军博士与产业人士一起探讨国产形式化验证EDA工具的相关话题，30余位产业人士及企业高管汇集IC咖啡（张江集电港二期）参与线下交流。
本次讲座袁军博士以芯片形式验证魏主线，从形式验证方法学（理论知识）逐步引入形式验证的历史、演绎以及相关应用。袁军博士对为什么要形式验证？为什么形式验证还不普及？什么人在做形式验证？等问题给出了详细的解答。接着重点从芯片模型、断言模型、模型验证算法等要素详细分析形式验证的重要性。最后在谈到国产替代的话题时，袁军博士认为“国产EDA要至少做到核心功能性能和头部厂商一样好，然后补易用性和APP的课，才有评估的可能。然后替代要看需求，流程兼容性，项目节点，预算，等等。国产替代虽说有后发优势，但是个0到10的跳跃，中间基本没有逐步演进以及和客户迭代产品的过程。”
企业介绍
上海阿卡思微电子技术有限公司是由硅谷回国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立，旗下全资子公司成都奥卡思微电科技有限公司位于成都高新区。公司核心人员来自于Cadence，Synopsys，Xilinx等国际知名EDA公司和芯片设计公司，具有平均超过15年的全球EDA行业经验，是多项业内知名软件工具的主研或管理者。公司主要业务为集成电路设计自动化系统(EDA)的研发和咨询。公司立足于最新的EDA技术，结合本土用户需求，竭诚服务中国芯片自主设计产业。目前，公司已成功推出两款形式验证工具。
返回产业交流平台