軟硬體邊界推理
在單一調查中同時交叉比對低階 C/C++ 驅動程式、核心模組與 Verilog RTL 階層。
除了標準網路應用程式,Google Antigravity 也支援低階系統工程,包括 GPU 核心、晶片 RTL 驗證、嵌入式韌體與硬體啟用。
GPU 核心 & 效能分析器分析
追蹤硬體效能計數器、容器連結器路徑與裝置鎖定競爭,以降低尾端延遲變異。
RTL & 矽驗證
推理 SystemVerilog、VHDL 與 C++ 模擬測試台,以發現仲裁器死結與時序路徑瓶頸。
韌體 & 硬體在環
直接與實驗室硬體、PCI 暫存器與錯誤注入框架對接,端對端驗證低階驅動程式。
在單一調查中同時交叉比對低階 C/C++ 驅動程式、核心模組與 Verilog RTL 階層。
直接從代理終端機執行硬體效能分析器、合成指令碼與故障注入套件。
派出平行子代理,針對韌體、編譯器旗標與執行期記憶體配置器測試競爭的系統假設。
「在容器化 H100 節點上執行多工作者 GPU 核心基準時,我們看到近 60% 的時序變異。在下午的工作階段中,Antigravity 協助我們將雜訊追蹤到容器連結器路徑與並行 GPU 內容競爭,並實作了兩層裝置鎖,將執行間變異降至 0.2% 以下。」
「我們花了三天使用 Antigravity 為 NVMe 儲存韌體建構全面的故障注入驗證套件,檢視韌體原始碼、撰寫 C++ 故障注入測試與記錄解析器程式碼,並針對實驗室硬體執行復原驗證。」
「我們的驗證團隊使用 Antigravity 審查加速器子系統六個子區塊的參數化 RTL 與測試平台階層。在審查期間,它協助我們在矽前驗證早期發現兩個細微的仲裁器邊界案例,並將測試計畫從 107 個案例精簡為 85 個目標測試。」
「在加速器區塊的硬體啟用期間,我們遇到跨越驅動程式與 RTL 邊界的故障。讓 Antigravity 同時檢視 C++ 驅動程式碼與 Verilog 原始碼,我們在一天內隔離了 C++ 驅動程式堆疊與 Verilog 模組之間細微的驅動程式到 RTL 狀態不符。」