近日，微軟Build大會在西雅圖盛大開幕，聚焦AI在加速各行業(yè)（包括芯片設(shè)計(jì)行業(yè)）科學(xué)突破方面的變革潛力。作為Microsoft Discovery平臺發(fā)布的啟動合作伙伴，新思科技亮相本次大會，并攜手微軟將AI融入芯片設(shè)計(jì)，開發(fā)相關(guān)AI功能，從而助力工程團(tuán)隊(duì)加速創(chuàng)新并應(yīng)對復(fù)雜性挑戰(zhàn)。

雙方的合作始于Synopsys.ai Copilot，其從GenAI驅(qū)動的輔助功能起步，逐步拓展至創(chuàng)造性功能。下一階段將聚焦智能體AI。

新思科技工程卓越事業(yè)部高級副總裁Raja Tabet：“半導(dǎo)體工程是當(dāng)今最復(fù)雜、最具影響力且高風(fēng)險(xiǎn)的科學(xué)領(lǐng)域之一，這也使其成為極具吸引力的人工智能應(yīng)用場景。通過將新思科技領(lǐng)先的AI驅(qū)動設(shè)計(jì)解決方案與Microsoft Discovery結(jié)合，我們可以釋放智能體AI的潛力，重構(gòu)芯片設(shè)計(jì)工作流程，提高開發(fā)效率，加快技術(shù)創(chuàng)新步伐?！?/p>

正如新思科技總裁兼首席執(zhí)行官Sassine Ghazi近期所述，智能體（或AgentEngineer）技術(shù)將輔助而非取代人類開發(fā)者。例如，部分團(tuán)隊(duì)可通過提升生產(chǎn)力縮短設(shè)計(jì)周期，另一些則可利用現(xiàn)有資源攻克復(fù)雜難題，或在開發(fā)者人數(shù)不變的情況下開發(fā)更多產(chǎn)品。

無論何種模式，這一變革都需要微調(diào)工作流程，整合專業(yè)領(lǐng)域知識，部署高效知識管理系統(tǒng)，并借助先進(jìn)云計(jì)算基礎(chǔ)設(shè)施。未來的AgentEngineer勞動力有望基于雙方合作構(gòu)建的基礎(chǔ)AI能力，為工程團(tuán)隊(duì)開創(chuàng)優(yōu)化開發(fā)效率與驅(qū)動業(yè)務(wù)價(jià)值的新范式。

微軟產(chǎn)品創(chuàng)新副總裁Aseem Datar：“我們與新思科技的合作證明，深厚的專業(yè)知識與前沿AI技術(shù)的結(jié)合可激發(fā)無限可能。雙方不僅在攜手加速芯片設(shè)計(jì)，更在重新定義工程團(tuán)隊(duì)借助AI技術(shù)可達(dá)成的目標(biāo)。這是全新范式。我們很高興能夠助力新思科技在Microsoft Discovery平臺上實(shí)現(xiàn)其愿景?！?/p>

下文介紹了新思科技與微軟在AI領(lǐng)域合作的起源及目前進(jìn)展情況。

合作起源：兌現(xiàn)GenAI的承諾

2023年末，新思科技推出了Synopsys.ai Copilot，這一突破性GenAI芯片設(shè)計(jì)功能由Azure OpenAI服務(wù)與Azure AI基礎(chǔ)結(jié)構(gòu)提供支持，并整合了新思科技領(lǐng)先的AI驅(qū)動電子設(shè)計(jì)自動化（EDA）工作流程。其目標(biāo)是提升半導(dǎo)體開發(fā)效率（無論開發(fā)者經(jīng)驗(yàn)水平如何），同時(shí)填補(bǔ)預(yù)計(jì)到2030年半導(dǎo)體行業(yè)15-30%的勞動力缺口。

當(dāng)前進(jìn)展：降低EDA學(xué)習(xí)門檻并提高開發(fā)效率

如今，行業(yè)領(lǐng)導(dǎo)者正借助Synopsys.ai Copilot加速芯片設(shè)計(jì)，在設(shè)計(jì)復(fù)雜度攀升的情況下縮短開發(fā)周期。

Synopsys.ai Copilot的輔助功能正在助力普及EDA專業(yè)知識。客戶設(shè)計(jì)團(tuán)隊(duì)在實(shí)現(xiàn)、驗(yàn)證與簽核工作流程中借助Synopsys.ai Copilot的知識輔助，信息檢索與腳本創(chuàng)建任務(wù)的響應(yīng)速度提升了10倍。這一成果覆蓋設(shè)計(jì)工程團(tuán)隊(duì)從新手到資深專家的全經(jīng)驗(yàn)層級成員，其核心在于Synopsys.ai Copilot能夠即時(shí)提供復(fù)雜EDA工具和流程問題的上下文相關(guān)解答，讓開發(fā)者無需搜索海量文檔或?qū)で髮＜抑笇?dǎo)。

通過自動生成形式化驗(yàn)證測試平臺加速驗(yàn)證

此外，微軟利用Synopsys.ai Copilot的創(chuàng)造性功能，實(shí)現(xiàn)了形式化驗(yàn)證流程的自動化。過去，該環(huán)節(jié)一直是芯片設(shè)計(jì)領(lǐng)域較為專業(yè)且耗時(shí)的環(huán)節(jié)之一。微軟芯片團(tuán)隊(duì)已用其生成了形式化驗(yàn)證測試平臺，包括生成系統(tǒng)Verilog斷言（SVA）、輔助邏輯、TCL腳本、屬性和綁定文件。

業(yè)內(nèi)專家指出，該技術(shù)在多數(shù)屬性上實(shí)現(xiàn)了超過80%的語法準(zhǔn)確率和70%的功能準(zhǔn)確率，這標(biāo)志著自動化形式化驗(yàn)證的重要里程碑。高準(zhǔn)確率意味著開發(fā)者能夠減少語法調(diào)試時(shí)間，將更多精力投入到設(shè)計(jì)驗(yàn)證中。

下一波AI創(chuàng)新浪潮

短期內(nèi)，支持GenAI的EDA已在芯片設(shè)計(jì)中彰顯價(jià)值，為提升開發(fā)效率、設(shè)計(jì)質(zhì)量和結(jié)果效率奠定了堅(jiān)實(shí)基礎(chǔ)。Synopsys.ai Copilot自發(fā)布以來的顯著效益，預(yù)示了其未來應(yīng)用的巨大潛力。隨著生成式人工智能能力不斷擴(kuò)展以及智能體AI成為新前沿，新思科技和微軟將繼續(xù)攜手，助力工程團(tuán)隊(duì)將創(chuàng)新潛力轉(zhuǎn)化為實(shí)際價(jià)值。