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

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

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

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

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

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

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

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

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

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

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

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

03通過自動生成形式化驗證測試平臺加速驗證

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

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

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

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