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