研究者用 AI 生成脉动阵列乘法器,并以变异测试与定理证明验证
satnam6502 · x · 2026-11-07
- 作者 Satnam Singh 披露:其脉动阵列(systolic array)矩阵乘法器硬件设计及配套测试均由 AI 生成,附图给出捕获时空流水线行为的输出数学定义 c{i,j}(N=4 情形)。
- 验证流程包含变异测试:故意引入变异破坏实现,确认正确性定理不再可证,以此保证定理确实把规格说明与实现连接起来。
- 对应的 SystemVerilog 规格是对该数学定义的直接转录,体现了「AI 生成硬件 + 形式化验证闭环」的完整工作流。
所属事件:研究者用AI生成脉动阵列乘法器并以变异测试与定理证明验证(2 条相关)→
「Infra」频道最新
- Groq 启动新一轮融资，投前估值达 80 亿美元 — nmasc_ · 2026-11-07
- 曝英伟达要求东南亚云伙伴客户接入 AI 芯片位置追踪计划 — nmasc_ · 2026-11-07
- Starlink 已接入巴西最大铁路货运商 500 多台机车与车厢 — elonmusk · 2026-11-07
- 马斯克称晶圆仅 20% 时间在做有效加工，特斯拉拟自建 fab 重构芯片制造 — XFreeze · 2026-11-07
- Together Compiler 上线:智能体持续编译内核,推理提速最高近半 — togethercompute · 2026-11-07
- llama.cpp 合入 Kimi K3.1 Pro 支持，本地跑大模型成真 — jacek2023 · 2026-11-07