微軟計(jì)劃在2027年推出性能介于Braga和Braga-R之間的Maia280芯片。
據(jù)報(bào)道，微軟正在調(diào)整其內(nèi)部開發(fā)的人工智能服務(wù)器芯片路線圖，放棄每年推新芯片的激進(jìn)策略，轉(zhuǎn)而專注務(wù)實(shí)設(shè)計(jì)，以期克服導(dǎo)致開發(fā)延遲的問題。
原定于2025年發(fā)布的Maia200芯片已被推遲至2026年。而這一延遲產(chǎn)生了連鎖反應(yīng)，導(dǎo)致后續(xù)的Braga-R和Clea芯片也相應(yīng)延誤。微軟方面十分擔(dān)憂，這些芯片在經(jīng)歷延誤之后，可能會(huì)出現(xiàn)“發(fā)布即落后”的情況，難以與英偉達(dá)的最新AI芯片相競(jìng)爭(zhēng)。
為了應(yīng)對(duì)這一局面，微軟打算采取“折中策略”，計(jì)劃在2027年推出一款名為“Maia280”的芯片。這款芯片介于Braga和Braga-R之間，其性能提升的方式是將兩個(gè)Braga芯片組合起來。微軟高管稱，該芯片在性能功耗比上有望比英偉達(dá)同年的產(chǎn)品高出30%。
有評(píng)論稱，微軟此次戰(zhàn)略調(diào)整的核心是承認(rèn)了每年從零開始設(shè)計(jì)一款全新高性能芯片的路徑并不可行。通過降低部分設(shè)計(jì)的復(fù)雜性并延長(zhǎng)其他芯片的開發(fā)周期，微軟希望更平穩(wěn)地推進(jìn)項(xiàng)目，最終目標(biāo)是減少對(duì)英偉達(dá)每年數(shù)十億美元芯片采購的依賴。
AI芯片難產(chǎn)原因：技術(shù)難度大
根據(jù)此前消息，微軟正秘密研發(fā)三款芯片，分別代號(hào)為Braga、Braga-R和Clea，計(jì)劃分別于2025年、2026年和2027年部署到數(shù)據(jù)中心，三款芯片均為推理場(chǎng)景設(shè)計(jì)。
據(jù)了解，微軟Braga-R和Clea芯片“難產(chǎn)”的原因在于這兩款芯片均為全新設(shè)計(jì)，開發(fā)難度巨大。其中，Braga芯片的設(shè)計(jì)直到6月才完成，比此前的年底截止日期延遲了約6個(gè)月。
而介于Braga和Braga-R之間的Maia280芯片仍主要基于Braga的設(shè)計(jì)，但由至少兩個(gè)Braga芯片連接組成，使它們能夠作為單個(gè)更強(qiáng)大的芯片協(xié)同工作。
最初代號(hào)為Braga-R的芯片，現(xiàn)在將被命名為Maia400，預(yù)計(jì)于2028年投入量產(chǎn)。該芯片將采用更先進(jìn)的連接技術(shù)，在芯片裸片層面進(jìn)行整合，以實(shí)現(xiàn)更快的性能。
微軟計(jì)劃隨著每一代新芯片的推出而逐步提高產(chǎn)量，最終目標(biāo)是年產(chǎn)數(shù)十萬顆自研AI芯片。
值得注意的是，近日有消息稱微軟芯片團(tuán)隊(duì)有五分之一的成員離開了項(xiàng)目。至于離職原因，知情人士透露，在芯片開發(fā)的過程中，微軟要求對(duì)其設(shè)計(jì)進(jìn)行更改，以滿足OpenAI提出的新功能需求。這使得芯片在模擬測(cè)試中變得不穩(wěn)定，工程師不得不花費(fèi)幾個(gè)月時(shí)間來解決問題。同時(shí)微軟高層堅(jiān)持要求在年底前完成設(shè)計(jì)。過大的時(shí)間壓力迫使員工離職。
微軟和新思聯(lián)手：用AI重構(gòu)芯片設(shè)計(jì)
芯片設(shè)計(jì)能否“減負(fù)”呢？據(jù)報(bào)道，新思科技領(lǐng)先的AI驅(qū)動(dòng)設(shè)計(jì)解決方案與微軟MicrosoftDiscovery結(jié)合，重構(gòu)芯片設(shè)計(jì)工作流程。
2023年末，新思科技推出了Synopsys.aiCopilot。這一GenAI芯片設(shè)計(jì)功能由AzureOpenAI服務(wù)與AzureAI基礎(chǔ)結(jié)構(gòu)提供支持，并整合了新思科技領(lǐng)先的AI驅(qū)動(dòng)電子設(shè)計(jì)自動(dòng)化（EDA）工作流程。其目標(biāo)是提升半導(dǎo)體開發(fā)效率，同時(shí)填補(bǔ)預(yù)計(jì)到2030年半導(dǎo)體行業(yè)15-30%的勞動(dòng)力缺口。
微軟利用Synopsys.aiCopilot的創(chuàng)造性功能，實(shí)現(xiàn)了形式化驗(yàn)證流程的自動(dòng)化。過去，該環(huán)節(jié)一直是芯片設(shè)計(jì)領(lǐng)域較為專業(yè)且耗時(shí)的環(huán)節(jié)之一。微軟芯片團(tuán)隊(duì)已用其生成了形式化驗(yàn)證測(cè)試平臺(tái)，包括生成系統(tǒng)Verilog斷言（SVA）、輔助邏輯、TCL腳本、屬性和綁定文件。
業(yè)內(nèi)專家指出，該技術(shù)在多數(shù)屬性上實(shí)現(xiàn)了超過80%的語法準(zhǔn)確率和70%的功能準(zhǔn)確率，這標(biāo)志著自動(dòng)化形式化驗(yàn)證的重要里程碑。高準(zhǔn)確率意味著開發(fā)者能夠減少語法調(diào)試時(shí)間，將更多精力投入到設(shè)計(jì)驗(yàn)證中。
*聲明：本文系原作者創(chuàng)作。文章內(nèi)容系其個(gè)人觀點(diǎn)，我方轉(zhuǎn)載僅為分享與討論，不代表我方贊成或認(rèn)同，如有異議，請(qǐng)聯(lián)系后臺(tái)。
想要獲取半導(dǎo)體產(chǎn)業(yè)的前沿洞見、技術(shù)速遞、趨勢(shì)解析，關(guān)注我們！
NBA歷史三分命中率Top10!庫里僅42.6%墊底,冠軍教頭第一
在與尼克斯的比賽中，斯蒂芬·庫里在第一節(jié)的第7分鐘投中了個(gè)人生涯第2974個(gè)三分球，超越了雷·阿倫，成為NBA三分線外歷史第一人|——。這一刻，不僅是對(duì)個(gè)人歷史的超越，更是對(duì)籃球世界的巔峰呈現(xiàn)。讓我們一起走進(jìn)斯蒂芬·庫里的三分世界，看看他是如何重新定義控衛(wèi)和三分的-。一、控衛(wèi)投三分——以前從未如此狂浪回等我繼續(xù)說。
盤點(diǎn)NBA三分大賽中的傳奇時(shí)刻,霍奇斯連續(xù)三冠,庫里壓哨致勝!
北京時(shí)間11月13日，NBA常規(guī)賽，西部第一取得6連勝的勇士對(duì)陣東部第二公牛，這是一場(chǎng)強(qiáng)強(qiáng)對(duì)話——。比賽從開局就陷入白熱化，拉文單節(jié)砍下10分幫助公牛29-23領(lǐng)先。而到了第二節(jié)，勇士遭遇打擊，鋒線主力輪換波特膝蓋受傷，直接離場(chǎng)，這導(dǎo)致勇士鋒線防守壓力驟升，波特可以覆蓋4個(gè)位置的防守。但勇士擁有庫里，當(dāng)球隊(duì)陷入等我繼續(xù)說|。
庫里閃耀!4000記三分前無古人,成歷史第一,王猛:他像在打搶七
巔峰期的庫里，不僅能夠在某場(chǎng)比賽貢獻(xiàn)出精彩的表現(xiàn)，還能夠持續(xù)貢獻(xiàn)十分精彩的表現(xiàn)，讓自己?jiǎn)钨惣久械娜智蚩倲?shù)也變的十分夸張--。到目前為止，庫里單賽季最多命中了402記三分球，這不僅是庫里個(gè)人的紀(jì)錄，也是NBA的紀(jì)錄，這個(gè)成績(jī)是庫里在15-16賽季完成的，這個(gè)賽季的庫里，三分球表現(xiàn)的確是無解的，哪怕是庫里有幫助請(qǐng)點(diǎn)贊——|。
延伸閱讀：與 微軟自研AI芯片遇阻 2027{年擬推出}M：aia 2，80 的相關(guān)文章
三菱汽車徹底退出中國，背后的原因有哪些？車主售后如何保障？
小雨呵護(hù) 1-3集大合集
第十四集|《玄月模擬》重生之金烏給你做保鏢!!
特朗普：英偉達(dá)是什么鬼
伊朗總統(tǒng)：不排除遷都
為什么我們看到的星星總是一閃一閃的，而月亮卻很少有這種現(xiàn)象呢？
山西地震
“變革·新生”2025外灘新媒體年會(huì)今日舉行，議程搶先看
【絕區(qū)零】抓住小兔包！
玩原神的看完這個(gè)都瘋了
