Themis 用同一路徑的後續封包判斷 RDMA 是否真的掉包
Themis 讓兩端機架交換器以封包序號選路、暫存並驗證重傳請求，使既有網卡能分散流量；代價是交換器狀態與對路徑順序的依賴。
閱讀文章 ：Themis 用同一路徑的後續封包判斷 RDMA 是否真的掉包ENGINEERING · STRATEGY · MARKETS
談科技、論價值
從網路、晶片設計與 AI 系統的運作機制出發，推演產業結構、公司策略與資本市場的走向。
最新文章
49 篇文章多組 SerDes 配置如何交給整合團隊，Marvell SDC Creator 的三段生成流程
Marvell 以文件檢索、時脈配置和串接生成產生特定 SoC 的 SDC，再轉成文字供工程師審查；把未使用時脈、實例路徑和時間單位先整理清楚，才能把省下的撰寫時間保留到實體設計交接。
閱讀文章 ：多組 SerDes 配置如何交給整合團隊，Marvell SDC Creator 的三段生成流程OpenAI 如何用精確計數演算法挑戰二十七年的 ETH 假說
從可手算的 SAT 範例出發，拆解 OpenAI 以共享線性摘要、低次多項式插值和張量收縮取得次指數時間的主張，並比較 Anthropic 的形式化成果及其對演算法與 EDA 的意義。
閱讀文章 ：OpenAI 如何用精確計數演算法挑戰二十七年的 ETH 假說Eunomia 讓 RDMA 用動態 bitmap 承受常態多路徑失序
Eunomia 只在連線真的失序時配置可擴張 bitmap，讓 packet spraying 與不等長路徑不再反覆觸發 RDMA 丟包處理；片上記憶體、ACK 流量與 WRITE 完成延遲則成為新的成本。
閱讀文章 ：Eunomia 讓 RDMA 用動態 bitmap 承受常態多路徑失序Marvell 把 3DIC signoff 延伸到 die、封裝與完整堆疊
Marvell 的公開 3DIC 方法先分別檢查 die、interposer 與 substrate，再以 3Dblox 和系統 netlist 組裝跨 die 連接與 ESD 路徑；它能提早暴露對位、連接及電阻問題，代價是新增一層系統描述、規則維護與高成本 P2P 工作。
閱讀文章 ：Marvell 把 3DIC signoff 延伸到 die、封裝與完整堆疊IRN 讓失序封包先落地，補齊缺口後才宣告 RDMA 完成
IRN 以選擇性重傳、BDP 在途上限與 completion gating，把丟包代價限制在缺失封包，同時維持 RDMA Write、Read、Send 與 Atomic 的完成順序。
閱讀文章 ：IRN 讓失序封包先落地，補齊缺口後才宣告 RDMA 完成EDA Agent 的評分要跟著同一份設計與執行結果走
從 Liberty grader、RTL-to-GDS 評量與生成測試的檢查缺口，推導同一次執行的版本綁定、獨立檢查及失敗計帳。實跑合成協定測試，說明如何攔下跨版本報告與缺漏結果，並公平比較人工、腳本和 Agent。
閱讀文章 ：EDA Agent 的評分要跟著同一份設計與執行結果走RapidWright 讓 FPGA 實體模組成為可重用的交付物
AMD Research 的 RapidWright 以 checkpoint 重用局部佈局與佈線，把建庫和系統整合分開；模組重複、介面穩定時能攤提實作成本，頻繁改動或全域連線主導時則可能失去優勢。
閱讀文章 ：RapidWright 讓 FPGA 實體模組成為可重用的交付物商品目錄快取擴容，要一起搬動版本與回源預算
從多租戶商品目錄的讀取與更新需求，推導快取容量、回填 token、版本失效及分區搬移；用明確的陳舊期限與回源預算，處理熱門 key、節點重啟及擴容後的冷資料。
閱讀文章 ：商品目錄快取擴容，要一起搬動版本與回源預算RoCE 用 PFC 接住在途資料，用 ECN 降低持續進入的流量
從四對一的 400 Gb/s incast 推導兩種控制延遲、headroom 與 buffer 計帳，解釋 ECN 標記後仍會暫停的原因，以及 PFC 如何波及其他流量。以可重跑算例、DCQCN 與 IRN 原始研究，連到公平性、死鎖與故障處置。
閱讀文章 ：RoCE 用 PFC 接住在途資料，用 ECN 降低持續進入的流量讓 EDA Agent 從失敗案例學習，先把診斷 skill 送進離線回放
以 ACE 的條目式記憶與 GEPA 的候選評估為參考，將 EDA 失敗診斷拆成適用條件、查核步驟與可撤回版本。完整案例與實跑的合成測試說明，如何減少錯誤建議，同時保留人工判讀與工具版本變動的處理路徑。
閱讀文章 ：讓 EDA Agent 從失敗案例學習，先把診斷 skill 送進離線回放當基金被迫縮短持有期限，長期資金如何捕捉市場錯價
Bill Ackman 用指數化、多策略基金風控與短天期選擇權解釋股價跳空；結合 IBM 2026 年暴跌、基金強制減碼研究及估值算例，分析時間期限錯配何時能形成低吸優勢。
閱讀文章 ：當基金被迫縮短持有期限，長期資金如何捕捉市場錯價800G 光模組的成本集中在哪裡，65% 美國含量傳聞可能如何改變採購
800G EML 模組的雷射、DSP 與類比晶片占據主要材料成本；供應商能留下多少利潤，還要看認證、良率與採購條件。以訊號路徑、BOM 算例與正式政策文件，釐清 65% 美國含量傳聞如何影響零件替換與供應鏈分工。
閱讀文章 ：800G 光模組的成本集中在哪裡，65% 美國含量傳聞可能如何改變採購Coding Agent 真正的差異開始出現在模型外面
分析 11 套 Agent、約 400 萬行程式碼的研究，把 coding agent 拆成 model 與 harness，並揭示執行迴圈、搜尋、工具、脈絡與權限如何共同塑造 Coding Agent 的實際能力。
閱讀文章 ：Coding Agent 真正的差異開始出現在模型外面BTTF 把 waveform 轉成 SQL，讓 Agent 進入 post-simulation debug
BTTF 將大型 waveform 正規化成可查詢的關聯資料，再以多 Agent 分工做訊號搜尋、assertion 檢查與 RTL 定位；新結果顯示 EDA Agent 的能力開始取決於設計資料是否具有低延遲、可組合的查詢介面。
閱讀文章 ：BTTF 把 waveform 轉成 SQL，讓 Agent 進入 post-simulation debugTailscale 如何讓不同網路的電腦安全互連
從 IP 路由與 NAT 開始，逐步理解 Tailscale 如何管理設備身分、透過 WireGuard 加密，並建立直連或中繼路徑。沿著 SSH、NAS 與出口節點的封包路徑，釐清權限、回程路由與效能問題。
閱讀文章 ：Tailscale 如何讓不同網路的電腦安全互連Strata 如何減少長上下文推論的快取等待與重複計算
Strata 以 GPU-assisted I/O、跨層記憶體布局與快取感知排程，改善長上下文推論的搬移瓶頸。OSDI 2026 正式版的最高五倍增益，是指定工作負載在相同首字延遲下的吞吐量提升。
閱讀文章 ：Strata 如何減少長上下文推論的快取等待與重複計算彎曲的冰如何帶電，從撓曲電量測追到表面相變與鹽水流動
冰的不均勻變形能產生電極化；2025 年研究量測此效應並辨識近表面鐵電相變，鹽冰研究則以晶界液體流動放大訊號。從分子對稱性、量測電路與能量收支，理解這些發現及其對雷雨雲的意義。
閱讀文章 ：彎曲的冰如何帶電，從撓曲電量測追到表面相變與鹽水流動GPT-Synopsys 把 EDA 授權、模型與算力打包販售，Synopsys 把 AI agent 變成續約籌碼
OpenAI 取得 Synopsys 工具授權開發專用模型，雙方分潤，並把算力、模型與授權打包銷售。晶片公司省下工具轉譯人力，換來對兩家供應商的同時依賴。
閱讀文章 ：GPT-Synopsys 把 EDA 授權、模型與算力打包販售，Synopsys 把 AI agent 變成續約籌碼InsForge／InstaCloud 技術剖析：AI 寫完程式之後，雲端如何接手？
InsForge 把後端狀態與操作交給 Coding Agent，InstaCloud 進一步整合部署與環境分支；理解其上下文介面、複製一致性、合併語意及授權邊界，才能評估從生成程式到可靠上線的距離。
閱讀文章 ：InsForge／InstaCloud 技術剖析：AI 寫完程式之後，雲端如何接手？OpenAI 用通用 LLM 最佳化 Jalapeño，EDA 的 AI 加值開始面臨競爭
OpenAI 以通用 LLM 與 XLS 改善 Jalapeño 的設計，驗證與 signoff 沿用 EDA。設計公司可以自行取得模型帶來的加值，EDA 廠商的內建 AI 得靠完整設計流程的成果競爭。
閱讀文章 ：OpenAI 用通用 LLM 最佳化 Jalapeño，EDA 的 AI 加值開始面臨競爭Sonnet 5.5 升級牽動 Agent 的推理設定、工具回合與模型切換
Gemini 4 Argon 的分階段推出、Sonnet 5.5 的介面變更與 Qwen3.8 的部署範圍，要求平台分別核對可用性、工具契約及對話接續；以完整工作與透明算例建立升級驗收。
閱讀文章 ：Sonnet 5.5 升級牽動 Agent 的推理設定、工具回合與模型切換多人、多工具如何交付同一顆晶片：NVIDIA 使用的 GDP 與配置式設計管理
共同的配置與放行紀錄讓不同團隊、repository 與 EDA 工具維持一致交付；以 GDP 的公開機制拆解原子提交、跨工具交接及競爭發布。
閱讀文章 ：多人、多工具如何交付同一顆晶片：NVIDIA 使用的 GDP 與配置式設計管理DevDay 2026：較低成本模型與持續型 Agent 改變工作設計
GPT-6.1 Sol、Ultrafast、雲端 Agent、MCP Events 與 Private Intelligence 分別改變成本、等待、工作接續及資料邊界；效益須以相同品質下的成功交付衡量。
閱讀文章 ：DevDay 2026：較低成本模型與持續型 Agent 改變工作設計HBM 吃掉三成 DRAM 晶圓，記憶體利潤開始按每片晶圓重新分配
HBM 的產能占比上升，會同時擠壓一般型 DRAM，卻不保證每片 HBM 晶圓更賺錢。下一輪記憶體獲利要看規格、良率、合約價與資本支出能否一起改善。
閱讀文章 ：HBM 吃掉三成 DRAM 晶圓，記憶體利潤開始按每片晶圓重新分配NVIDIA NVDLA 把 IP 配置接到可驗收的綜合交付：五個分區與 SRAM 邊界
NVDLA 的公開整合手冊揭露從配置、RTL 生成、trace 驗證到分區綜合的實際交付物；SRAM、時脈約束與製程資料則明確留給 SoC 整合者。
閱讀文章 ：NVIDIA NVDLA 把 IP 配置接到可驗收的綜合交付：五個分區與 SRAM 邊界如何設計多租戶 API 限流：從共享配額需求到跨節點判定
一家客戶的批次請求拖慢其他客戶，API 平台該如何限制用量？從計量對象、突發與故障需求開始，建立單入口方案，再推導共享狀態、原子扣額和局部配額的取捨。
閱讀文章 ：如何設計多租戶 API 限流：從共享配額需求到跨節點判定AI collective 何時值得改接光路：相依步驟、壅塞與切換延遲的交點
分階段 collective 使固定互連承擔多跳與壅塞，逐步改接光路則付出停頓。以 Harvest 與可檢查試算推導切換門檻，釐清排程模型的假設與工程邊界。
閱讀文章 ：AI collective 何時值得改接光路：相依步驟、壅塞與切換延遲的交點跨分區寫入如何取得唯一 ID：從取號需求到分配邊界
從多個資料分區各自建立物件的情境出發，釐清唯一範圍、排序與缺號，再由吞吐及故障推導號段、時間型 ID 和隨機識別的適用界線。
閱讀文章 ：跨分區寫入如何取得唯一 ID：從取號需求到分配邊界Coverage Regression 的成本模型：AMD 測試組合與驗證證據
AMD 的四項 VSO.ai 實驗提供縮小測試集合的線索；平台須固定 coverage 目標、保留版本與 seed，並以獨立對照檢查刪除風險。
閱讀文章 ：Coverage Regression 的成本模型：AMD 測試組合與驗證證據STORM 的 RNIC 排程：從請求大小與 Backlog 判斷服務順序
STORM 以 transaction size 與 per-QP backlog 形成 wire priority；分析局部資訊如何改善完成時間，以及 ordering、公平性與控制迴路的限制。
閱讀文章 ：STORM 的 RNIC 排程：從請求大小與 Backlog 判斷服務順序CAD Agent 的證據身分：ORAssistant 來源映射與評分修正
檢索來源及 metric 方向都是驗收契約的一部分；ORAssistant 的公開修正可用來追蹤版本、引用與評估語意如何失效。
閱讀文章 ：CAD Agent 的證據身分：ORAssistant 來源映射與評分修正供應 65K MAC 的記憶體階層：TPU v1 的資料壽命與重用
TPU v1 分開管理 weights、activations 與 partial sums；頻寬不對稱使軟體排程、重用及累加狀態成為效率條件。
閱讀文章 ：供應 65K MAC 的記憶體階層：TPU v1 的資料壽命與重用CSIG 的瓶頸摘要：交換器如何提供可控制的路徑資訊
固定長度 tag 用 min/max 彙整路徑狀態，讓 transport 以有限資訊調整速率；分析資訊壓縮、量化、回饋時間及混合部署的代價。
閱讀文章 ：CSIG 的瓶頸摘要：交換器如何提供可控制的路徑資訊TPU v1 的低精度預算：INT8 如何牽動運算、儲存與誤差
降低 operand 位寬會同時改變 arithmetic、SRAM 及資料搬移成本；必須將量化誤差、累加位寬與模型品質納入同一個設計。
閱讀文章 ：TPU v1 的低精度預算：INT8 如何牽動運算、儲存與誤差Arm CSS N4 的整合基線：IP 重用如何保留客製晶片的正確性
預先整合的子系統可以縮小重複驗證範圍，但配置、clock/reset/power 與 DMA 語意仍須共同驗收，再交給 R2G。
閱讀文章 ：Arm CSS N4 的整合基線：IP 重用如何保留客製晶片的正確性AI 驗證閉環的兩份契約：高通案例中的刺激探索與結果驗收
FunCovr.ai 與高通的 Bedrock 使用方向提供不同證據。驗證平台須固定 coverage 目標、保留實驗身分，並把模型提案與工具結果分開。
閱讀文章 ：AI 驗證閉環的兩份契約：高通案例中的刺激探索與結果驗收設計短網址服務：從分享與撤銷需求推導可靠讀寫
從建立、分享與撤銷連結的需求出發，先完成權威讀寫，再由重試、熱門流量及失效競態推導唯一鍵、冪等與快取邊界。
閱讀文章 ：設計短網址服務：從分享與撤銷需求推導可靠讀寫資料中心效率評級與混合冷卻：每一 MW 的算力及資本成本
效率揭露讓能源、水與負載彈性進入機房比較；混合冷卻則影響改造時機與閒置資本。真正的經濟效果仍要追到合約、利用率及現金回收。
閱讀文章 ：資料中心效率評級與混合冷卻：每一 MW 的算力及資本成本UALink 2.0 的 Collective 執行邊界：交換器開始管理計算狀態
In-network reduction 能減少部分資料搬移，也使 switch 必須處理 datatype、ordering、completion 與隔離；標準帶來的是可組合執行契約的問題。
閱讀文章 ：UALink 2.0 的 Collective 執行邊界：交換器開始管理計算狀態256×256 Systolic Array 的供料條件：TPU v1 如何重用資料
TPU v1 用規律資料流降低 operand 搬移；實際效率仍受 batch、tile 形狀、weight load 與 double buffering 是否重疊限制。
閱讀文章 ：256×256 Systolic Array 的供料條件：TPU v1 如何重用資料AI 推論的儲存分層：哪些 SSD 能減少 GPU 等待並留下利潤
向量搜尋與 KV cache 對儲存的要求不同。SSD 的經濟價值要由重用、搬運與等待成本判斷，再追到控制器、韌體及 NAND 的利潤分配。
閱讀文章 ：AI 推論的儲存分層：哪些 SSD 能減少 GPU 等待並留下利潤可驗證的 IC 設計狀態：AI 如何跨越抽象層並保留證據
Agent 跨越 RTL、constraints 與實體設計時，平台必須保存型別、版本、品質及相依關係；高階抽象與成果驗證各自解決不同問題。
閱讀文章 ：可驗證的 IC 設計狀態：AI 如何跨越抽象層並保留證據NVLink 6 的跨層恢復：鏈路錯誤如何限制有效算力
Scale-up domain 的有效吞吐量依賴錯誤如何被隔離及恢復；從 FEC、retry、credit 到 collective state，追蹤局部故障對整體工作的影響。
閱讀文章 ：NVLink 6 的跨層恢復：鏈路錯誤如何限制有效算力自研算力與光互連擴產：AI 支出如何轉成可留存的利潤
阿里巴巴自研晶片與 Ciena 光互連成長，分別考驗成本內製及設備定價能力。兩者的股東價值都取決於新增資本投入後，還能留下多少現金。
閱讀文章 ：自研算力與光互連擴產：AI 支出如何轉成可留存的利潤TPU v1 的起點：線上推論如何把晶片效率變成資料中心容量
Google 的第一代 TPU 由線上推論需求出發，在尾端延遲限制下改善容量與成本；INT8、systolic array、記憶體及 PCIe 整合都是這個目標下的取捨。
閱讀文章 ：TPU v1 的起點：線上推論如何把晶片效率變成資料中心容量RTL-to-GDS 的狀態管理：重試、成果相依與工程驗收
長時間 R2G 工作需要把設計意圖、執行狀態及可採信成果分開管理；以調和、持久執行與版本相依說明控制面的必要能力及成本。
閱讀文章 ：RTL-to-GDS 的狀態管理：重試、成果相依與工程驗收HLS 改變 Agent 的設計搜尋：抽象層、低階修正與成果驗收
以 HLS 與 RTL refinement 研究分析抽象層如何縮減搜尋空間，再推導 R2G 的介面、驗收與實驗成本；成果品質須以固定條件獨立判定。
閱讀文章 ：HLS 改變 Agent 的設計搜尋：抽象層、低階修正與成果驗收400G/lane 光互連的設計代價：頻寬密度、DSP 功耗與電氣距離
每 lane 頻寬翻倍能減少通道數，卻把頻寬、訊號裕量、FEC 與散熱綁得更緊；以完整 I/O 路徑比較 400G/lane 的架構價值。
閱讀文章 ：400G/lane 光互連的設計代價：頻寬密度、DSP 功耗與電氣距離