產教融合｜國微芯攜手南京大學，開展EDA暑期專題課程
2025年6月23日，南京大學集成電路學院暑期校企協同課程群啟動儀式在蘇州校區隆重舉行。國微芯受邀出席啟動儀式，并開展EDA專題課程，吸引了近百名同學到場交流。
專題授課 交流分享
在授課過程中，國微芯技術專家通過講述數字驗證技術的發展脈絡，并對比分析仿真與形式驗證，清晰地闡釋了形式驗證的工具分類、技術特點以及最新行業發展動態，旨在讓學生們能夠接觸到產業界前沿的設計方法、工具以及技術趨勢，全面提升其專業素養與職業技能。
形式驗證作為一種從數學角度嚴格證明電路實現方案是否達到設計預期的方法，其在現代芯片設計中的重要性日益凸顯。國微芯技術專家通過生動案例展示及理論知識講解，有效幫助了同學們掌握形式驗證這一領域的核心知識。
同時，針對當前集成電路設計驗證領域面臨的嚴峻挑戰，國微芯技術專家深入剖析行業痛點，詳細介紹了國微芯EsseFormal形式驗證平臺。該平臺功能強大，包含C-to-RTL/RTL-to-Netlist等價驗證工具、屬性驗證工具，以及各種實用驗證Apps，可為芯片設計過程中的每個環節提供精準、高效的驗證解決方案。
校企合作 共創生態
作為國產EDA行業的創新引領力量，國微芯積極開展校企合作相關事宜，與數十家國內知名高校和科研機構建立了緊密的合作關系。其中，與西安電子科技大學、東南大學、華中科技大學、南方科技大學等知名高校合作建設EDA聯合實驗室。
目前，國微芯借助校企研發項目合作渠道和EDA聯合實驗室平臺，持續選拔優秀學生參與實踐研究工作。同時，國微芯安排企業技術專家走進高校，在西安電子科技大學等10余所高校開展了EDA課程培訓，有力地推動了產學研用的深度融合與協同發展，從產教融合、產學研合作等多個維度加強了后備人才培養。
此次授課為學生們提供了難得的學習契機。在現場互動環節里，同學們積極踴躍，紛紛提問發言，圍繞形式驗證技術研究、國產 EDA 工具發展現狀以及產業就業方向等問題，與國微芯技術專家深入探討。這一過程不僅激發了學生們對集成電路 EDA 產業的熱情，還為國產 EDA 創新生態持續發展注入新鮮血液與活力。
未來，國微芯將繼續深化與國內高校的產學研合作，尤其在被嚴重“卡脖子”的關鍵EDA技術領域進行更深入的探索和研究，共同培養出更多具備創新精神的后備人才，為推動中國集成電路產業的進步和發展貢獻力量。
