2025年6月23日，南京大学集成电路学院暑期校企协同课程群启动仪式在苏州校区隆重举行。国微芯受邀出席启动仪式，并开展EDA专题课程，吸引了近百名同学到场交流。

专题授课 交流分享

在授课过程中，国微芯技术专家通过讲述数字验证技术的发展脉络，并对比分析仿真与形式验证，清晰地阐释了形式验证的工具分类、技术特点以及最新行业发展动态，旨在让学生们能够接触到产业界前沿的设计方法、工具以及技术趋势，全面提升其专业素养与职业技能。

形式验证作为一种从数学角度严格证明电路实现方案是否达到设计预期的方法，其在现代芯片设计中的重要性日益凸显。国微芯技术专家通过生动案例展示及理论知识讲解，有效帮助了同学们掌握形式验证这一领域的核心知识。

同时，针对当前集成电路设计验证领域面临的严峻挑战，国微芯技术专家深入剖析行业痛点，详细介绍了国微芯EsseFormal形式验证平台。该平台功能强大，包含C-to-RTL/RTL-to-Netlist等价验证工具、属性验证工具，以及各种实用验证Apps，可为芯片设计过程中的每个环节提供精准、高效的验证解决方案。

校企合作 共创生态

作为国产EDA行业的创新引领力量，国微芯积极开展校企合作相关事宜，与数十家国内知名高校和科研机构建立了紧密的合作关系。其中，与西安电子科技大学、东南大学、华中科技大学、南方科技大学等知名高校合作建设EDA联合实验室。

目前，国微芯借助校企研发项目合作渠道和EDA联合实验室平台，持续选拔优秀学生参与实践研究工作。同时，国微芯安排企业技术专家走进高校，在西安电子科技大学等10余所高校开展了EDA课程培训，有力地推动了产学研用的深度融合与协同发展，从产教融合、产学研合作等多个维度加强了后备人才培养。

此次授课为学生们提供了难得的学习契机。在现场互动环节里，同学们积极踊跃，纷纷提问发言，围绕形式验证技术研究、国产 EDA 工具发展现状以及产业就业方向等问题，与国微芯技术专家深入探讨。这一过程不仅激发了学生们对集成电路 EDA 产业的热情，还为国产 EDA 创新生态持续发展注入新鲜血液与活力。

未来，国微芯将继续深化与国内高校的产学研合作，尤其在被严重“卡脖子”的关键EDA技术领域进行更深入的探索和研究，共同培养出更多具备创新精神的后备人才，为推动中国集成电路产业的进步和发展贡献力量。