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手艺，， ，，，团结本土用户需求，， ，，，竭诚效劳中国芯片自主设计工业 。。。。。。。。现在，， ，，，公司已乐成推出两款形式验证工具 。。。。。。。。
返回工业交流平台