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