產(chǎn)品服務
如果將芯片設計比作在微觀世界里建造一座超級城市，那么在當今的先進工藝節(jié)點下，這座城市的規(guī)模已經(jīng)從“百萬人口”激增到了“百億人口”乃至“千億人口”。
隨著AI大模型、自動駕駛、5G通信等應用場景的爆發(fā)，SoC（系統(tǒng)級芯片）的晶體管數(shù)量早已突破百億門級大關。這種指數(shù)級的復雜度增長，給驗證環(huán)節(jié)帶來了史無前例的挑戰(zhàn)：軟件仿真跑不動，硬件成本居高不下，上市窗口期（TTM）卻被極限壓縮。
在這個“驗證定生死”的時代，單點工具的突破已無法解決系統(tǒng)級難題。作為國內(nèi)首家數(shù)字EDA供應商，成立二十載的思爾芯（S2C）正在給出一種系統(tǒng)性的解題思路——異構驗證方法（Heterogeneous Verification Methodology）。
不僅僅是“原型驗證”的代名詞，今天的思爾芯已經(jīng)構建起了一套覆蓋架構設計、軟件仿真、硬件仿真、原型驗證、形式驗證到云服務的數(shù)字設計全流程EDA平臺。特別是其最新披露的工程數(shù)據(jù)顯示，思爾芯已具備支撐上百顆FPGA級聯(lián)的超大規(guī)模驗證能力。本文將深入這一工具鏈的肌理，剖析其如何幫助設計團隊穿越數(shù)字迷宮。
基石的進化：從“單點”到“百芯級聯(lián)”的硬實力
如果說架構設計是“紙上談兵”的推演，那么原型驗證就是“真刀真槍”的演習。作為思爾芯起家的王牌領域，芯神瞳（Prodigy）原型驗證邏輯系統(tǒng)在面對超大規(guī)模設計時，夠充分滿足客戶對處理系統(tǒng)復雜度、產(chǎn)品穩(wěn)定性、高效編譯以及高性能運行的嚴苛要求。
芯神瞳（Prodigy）原型驗證系統(tǒng)
在百億門級的設計中，原型驗證面臨的是“性能”、“可靠性”與“高效編譯”。當設計規(guī)模大到需要跨越數(shù)十甚至上百顆FPGA時，硬件的穩(wěn)定性往往成為木桶上最短的那塊板。
思爾芯的芯神瞳系列給出了工業(yè)級的答案。芯神瞳上一代產(chǎn)品Logic Matrix就實現(xiàn)了極高密度的組網(wǎng)部署——僅需2個機柜，即可實現(xiàn)128顆FPGA的超大規(guī)模組網(wǎng)。這種高集成度不僅節(jié)省了寶貴的實驗室空間，更極大地減少了物理連線帶來的信號衰減風險。
更令人印象深刻的是其穩(wěn)定性。在思爾芯 RT工具嚴謹?shù)牟僮髁鞒瘫Ｕ舷拢撎?28顆FPGA的超大組網(wǎng)在某客戶近兩年的高強度使用中，實現(xiàn)了“零差錯、零故障”的記錄。這標志著國產(chǎn)原型驗證工具已經(jīng)跨越了“能用”的階段，邁入了“高可靠、工業(yè)級”的成熟期。
在開芯院昆明湖16核RISC-V處理器及NoC互聯(lián)系統(tǒng)的驗證中，芯神瞳展現(xiàn)“高性能”與“高效編譯”能力。設計被部署至2臺S8-100Q (8片VP1902)，運行頻率為13.3MHz。同時，編譯時間大幅縮短。RCF軟件先進行RTL代碼分割，再并行綜合，使得全流程編譯周期縮短至17小時。增量綜合功能更是保證了每日的版本迭代與更新。
軟件的靈魂：RCF與ICF的效率變革
硬件決定了驗證的容量上限，而軟件則決定了驗證的效率下限。面對動輒百億門的設計，如果沒有強大的軟件調(diào)度，堆砌再多的硬件也只是一盤散沙。思爾芯自主研發(fā)的RCF（RTL Compile Flow）與ICF（Incremental Compile Flow）技術，正是駕馭這些龐大硬件的“神經(jīng)中樞”。
RCF：駕馭上百顆FPGA的“切割藝術”
當一個SoC設計大到無法放入單顆FPGA時，必須進行多片分割（Partitioning），這就像把一張巨大的地圖切成碎片拼圖，既要切得開，又要拼得準。
思爾芯的RCF技術通過時序與擁塞優(yōu)化算法，能夠全自動處理基于RTL級數(shù)據(jù)庫的大規(guī)模分割。最新的落地案例顯示，RCF已經(jīng)成功支撐起一百多顆FPGA規(guī)模的原型驗證項目，并具備支持更大規(guī)模的編譯潛力。
除了規(guī)模，RCF更強調(diào)“速度”。在與某客戶的合作項目中，得益于RCF的高效分割與自動化流程，客戶實現(xiàn)了驚人的敏捷迭代：從24顆FPGA起步，迅速擴展至32顆、40顆，最終擴展至一百多顆的完整系統(tǒng)。在這個過程中，系統(tǒng)的首次Bring-up（啟動調(diào)試）僅耗時1周。對于分秒必爭的芯片研發(fā)團隊而言，這種“即插即用”的擴展能力意味著巨大的時間紅利。
ICF：分秒必爭的“增量編譯”
在驗證后期，Bug修復往往只涉及幾行代碼的修改。如果因為這點微小的變動就要重新編譯整個百億門的設計，耗時可能長達數(shù)小時甚至更久，這是工程師無法忍受的“垃圾時間”。
ICF技術正是為此而生。它能夠智能識別RTL代碼中的變動部分，僅對受影響的邏輯塊進行增量編譯。數(shù)據(jù)表明，完整編譯后，在ICF的加持下效率顯著提升，極大地加速了Bug收斂的速度。
頂層設計的智慧：周期左移與架構探索
在夯實了底層的驗證能力后，思爾芯敏銳地捕捉到“周期左移”的趨勢，主動將防線前移，深入到設計的源頭。
芯神匠（Genesis）架構設計軟件的推出，標志著思爾芯從“驗證專家”向“全流程專家”的蛻變。在RTL代碼尚未成型之前，芯神匠便允許架構師通過建模組件和豐富的標準協(xié)議模塊，對SoC的性能、功耗進行快速探索與評估。
芯神匠（Genesis）架構設計軟件
這不僅避免了后期因架構缺陷導致的推倒重來，更與后續(xù)的原型驗證形成了聯(lián)動：芯神匠生成的模型可以直接對接原型驗證系統(tǒng)進行仿真加速；也可以和硬件仿真搭建混合仿真系統(tǒng)將既有設計轉(zhuǎn)換為模型，實現(xiàn)“設計即驗證”的閉環(huán)。
填補鴻溝與全域調(diào)試
在軟件仿真（慢但可視性好）和原型驗證（快但可視性弱）之間，思爾芯前幾年推出了首款國產(chǎn)企業(yè)級硬件仿真系統(tǒng)芯神鼎（OmniArk）來填補空白。思爾芯迭代升級的新一代OmniDrive硬件仿真系統(tǒng)，直指大規(guī)模芯片設計的效率瓶頸。作為一款靈活高效的雙模式系統(tǒng)，它支持硬件仿真與原型驗證兩個模式，為用戶在不同設計階段提供高性價比與高效率的選擇。
芯神鼎（OmniDrive）硬件仿真系統(tǒng)
芯神覺數(shù)字電路調(diào)試軟件是自研數(shù)字電路調(diào)試軟件，提供一個全面的分析與調(diào)試平臺，讓工程師能夠像在軟件仿真中一樣，對硬件深處的信號進行“上帝視角”般的觀測，徹底解決了大規(guī)模系統(tǒng)調(diào)試難的頑疾。能夠與思爾芯的軟件仿真芯神馳、硬件仿真芯神鼎和原型驗證芯神瞳等靈活銜接，深度融合，大幅提升驗證效率。
結語：做中國數(shù)字芯片設計的“全能輔助”
縱觀全球EDA產(chǎn)業(yè)的發(fā)展史，巨頭的誕生無一不是通過“點工具”的突破，進而走向“全流程”的整合。思爾芯的發(fā)展路徑，正是這一規(guī)律的生動寫照。
從早期的原型驗證單點突圍，到如今構建起包含架構設計（芯神匠）、軟件仿真（芯神馳）、硬件仿真（芯神鼎）、原型驗證（芯神瞳）、形式驗證以及數(shù)字調(diào)試（芯神覺）與云服務（芯神云）的完整閉環(huán)，思爾芯已經(jīng)不再是一家單純的工具廠商。
特別是在RCF與ICF等底層技術的加持下，思爾芯用“上百顆FPGA級聯(lián)”和“零故障運行”的硬核數(shù)據(jù)，證明了其工具鏈在超大規(guī)模設計中的高擴展性與工程化落地能力。它不僅解決了“能不能驗證”的問題，更通過分鐘級的增量編譯，解決了“如何高效驗證”的行業(yè)痛點。
思爾芯數(shù)字EDA產(chǎn)品矩陣
對于中國芯片產(chǎn)業(yè)而言，思爾芯提供了一個自主可控、技術閉環(huán)的數(shù)字設計底座。在“驗證即設計”的未來，思爾芯正在用其全流程的布局，輔助每一顆中國芯，以更快的速度、更高的質(zhì)量，跨越從概念到量產(chǎn)的鴻溝。
-889.png)
