用 Sail 等价性证明与 riscv-coq 交叉验证 RISC-V 规范,发现真实 bug
xennygrimmato_ · x · 2026-10-27
作者回应「如何确认模型与真实规范一致」的问题:由此展开了 Sail 等价性证明,并与 riscv-coq 形式化项目做交叉验证,两条路径都找到了真实 bug,细节将在后续推文公布。
「Infra」频道最新
- Intel 宣布收购 Classiq,打造全栈量子计算平台 — BenBajarin · 2026-10-27
- 分析师：蚂蚁自建数据中心与自研推理芯片将进一步抬高利润率 — BenBajarin · 2026-10-27
- 公路劫匪盯上 AI 基建：数据中心设备被盗数百万美元 — supertrope · 2026-10-27
- xAI Colossus 1 数据中心 FP64 算力约 14.6 exaflops,达 Top500 榜首 5 倍 — cis_female · 2026-10-27
- Lambda 实测 NVIDIA DSX MaxLPS：同等电力多跑 3 节点，吞吐提升 24% — TheZachMueller · 2026-10-27
- 新播客：Micron HBM 路线图、Meta AI 基建与 NVIDIA 供应链掌控 — BenBajarin · 2026-10-27