OPEN TOOLCHAINKiCadFreeCADYosysVerilatorSpinalHDLcocotb
01 / TOKEN PLANS
七个生态，先看清条件。
代理、订阅与 API 是不同产品。比较价格、限制以及明确工作量对应的成本。
01Claude Code美元 · Pro $20/月；Max $100；Ultra $200↗02ChatGPT / Codex美元 · Free $0；Go $8；Plus $20；Pro $100 / $200 / $500 每月↗03Kimi Code请查看官方现行价格↗04Z.ai / ZCode国际美元价 · Lite $18；Pro $80；Max $168 每月↗05Qwen Code / QwenCloud国际美元价 · Lite $8；Essential $16；Standard $25；Pro $80 每月↗06MiniMax Code / M Plan国际美元价 · Go $22；Explore $55；Build $132 每月↗07Xiaomi MiMo CodeMiMo Token Plan — 查看官方价格↗
02 / PRACTICE
从想法走向经过验证的结果。
面向自由工程工具的简明指南。当前为编辑精选，个人项目经验稍后补充。
KiCad：从需求到可验证的电路板
让 AI 整理接口表、辅助设计评审，并把 ERC、DRC 和生产文件检查纳入必经流程。
阅读 ↗3 分钟
FreeCAD：把外壳设计变成可验证的参数
面向电子设备外壳的实用流程：明确尺寸与依赖，检查边界参数，并验证导出结果。
阅读 ↗3 分钟
嵌入式开发：让 AI 提交可验证的补丁
以 Zephyr 为例：记录环境、限定单项任务，并从构建到实机逐层验证行为。
阅读 ↗3 分钟
Yosys + Verilator：用两条路径检查同一份 RTL
评审 AI 提出的 RTL 时，将静态检查、仿真和综合作为不同层面的证据。
阅读 ↗3 分钟
SpinalHDL：同时验证生成器与生成的 RTL
参数化设计需要覆盖多种配置。AI 可协助提出配置矩阵，结果则必须经过展开、仿真与综合检查。
阅读 ↗3 分钟
cocotb：把协议转化为可执行检查
依据独立的行为模型编写测试，明确采样时机，并保留可复现的失败场景。
阅读 ↗3 分钟
03 / REPRODUCIBILITY
不追求笼统的“最佳 AI”。
关注具体任务的成本。
相同提示词不代表相同 Token 消耗。需要真实用量、统一任务版本与相同验收标准。
方法与实测表 ↗