芯片设计 40 秒闭环:LLM 生成即验证
两条老路,一个死结
用 AI 写 Verilog,现在基本就两条路:
1. 纯 LLM 生成:代码看着像,编译不过——幻觉写出来的寄存器,综合工具不认;
2. 传统 EDA(Vivado/DC 这类):闭源、昂贵、没有 AI 辅助,写 RTL 的还是人。
ChipWise 走第三条路:LLM 负责生成和理解,开源 EDA 工具链负责验证——生成即验证,验证不过就自动修复,直到编译、Lint、仿真全过。
8 步闭环,端到端 ~40 秒
| 步骤 | 能力 | 执行引擎 | 实测延迟 |
|---|---|---|---|
| ① 工具链检测 | EDA 健康检查 | 本地 | 超时保护 |
| ② 规格识别 | identify | Ollama 端侧 | ~2s |
| ③ RTL 生成 | create | 云端强模型 | ~20s |
| ④ 编译+Lint | iverilog + Verible | 本地 | ~8s |
| ⑤ 规则检查 | 47 条(含 12 条 IEEE) | 本地 | ~1s |
| ⑥ 关系分析 | 模块依赖+信号链 | 本地关系引擎 | ~1s |
| ⑦ 仿真验证 | testbench 执行 | iverilog+VVP | ~8s |
| ⑧ 时间线汇总 | 全流程追溯 | 本地 | ~5s |
从一句自然语言规格,到"编译通过 + Lint 通过 + 仿真通过"的 RTL,40 秒。工具链(Icarus Verilog / Yosys / Verible / riscv-gcc)全部本地执行。
实测硬数据(RV32I 五级流水线 POC)
- iverilog 编译:0 错误 style="padding-left:20px;margin:12px 0;">
- verible lint:0 错误 style="padding-left:20px;margin:12px 0;">
- yosys 综合成功:4,069 cells / 992 触发器
边界,如实说
第 ③ 步 RTL 生成走的是云端强模型——端侧 7B 实测质量不足,我们不硬撑。整个闭环里端侧做的是识别、规则检查、关系分析和仿真验证(占 7 步),强生成留给出得去的地方。这不是"全端侧"的宣传片,是可运行的工程权衡。
左帮右臂(BossAgents):ChipWise Engine,六大能力(识别/创建/修复/比对/优化/生成)全部落地,HICOOL 复赛验证作品。
本文数据均可在 BossAgents 技术文档库中溯源 · 左帮右臂 · 老板私有智能体
BossAgents