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