05 · 控制台
全程零命令行
目标里写"需要人工确认后才能出报告"，planner 自己推断出加人工闸门—— 执行停在 WAITING_HUMAN，等您在页面上点"放行"：
点开任意 .raw 产物直接画波形， 报告、评审、诊断 JSON 点开看关键结论：
AetherEDA 是一套 AI 驱动的 EDA 智能研发平台： 说一句自然语言，五个智能体协同完成 Verilog-A 器件模型编译、电路仿真、结果评审、 失败诊断与设计空间探索——全程真实工具链、全程审计留痕、全程 GPL 合规隔离。
仿真流程的自动化程度长期偏低——工具链靠脚本粘接、失败排查靠专家经验、 设计空间靠人肉扫参。大模型时代，这三件事都该交给智能体。
编译、仿真、解析、比对，一次流片前要跑成百上千遍。AetherEDA 用任务图 引擎接管：拓扑并发、失败重试、级联取消、每一步落审计。
不收敛、模型缺失、语法错误——报错天书只有老工程师看得懂。 诊断智能体汇集报错、检索知识库，给出按置信度排序的根因和行级修复。
目标指标定了，参数怎么取？探索智能体自动扫描、自适应加密收敛， 多参数网格还能识别等效解，把权衡关系摆到桌面上。
Go 写骨架（编排、网关、隔离壳），Python 写智能体，接口先行 gRPC 契约。 GPL 工具（OpenVAF）关进独立容器只走 RPC——进程边界即许可证边界，类型系统强制执行。
自然语言目标 → 可执行任务图。提示词注入实时工具目录与文件清单防虚构； 产出经强校验闸门（kind 白名单 / 无环 / 依赖存在）才能进引擎。
读波形指标与电路网表，按器件物理核算理论值并与实测对比—— 结压降、KCL、能量守恒逐项验证，达到仿真工程师复核水准。
数值判据硬边界 + 大模型定性意见。通过后停在人工闸门等放行； 不过则精确报出越界项并拦住下游。无判据不放行——评审不能空转盖章。
执行失败一键诊断：汇集真实报错、检索知识库，输出按置信度排序的 根因与可直接粘贴的修复行。
参数扫描 + 自适应加密收敛 + 多参数笛卡尔积网格。理论最优不在网格上？ 两轮细化自己找过去，偏差从 3.5% 收敛到 0.5%。
BM25 中文检索的工程知识库：工具用法、器件建模、踩坑记录。 规划、分析、诊断都从这里取证——引用佐证，不许编造。
"编译二极管模型，跑瞬态仿真，评审输出峰值在 4.2 到 4.4V，生成报告"—— planner 规划六节点双支路图并执行。下面的波形直接绘自 ngspice 输出， 二极管模型是 OpenVAF 从 Verilog-A 源码现场编译的 OSDI 动态库。
琥珀：v(in) 正弦 ±5V/1kHz； 绿色：v(out) 半波整流，实测峰值 4.3042V vs 理论 4.302V，误差 < 0.5‰。
目标里写"需要人工确认后才能出报告"，planner 自己推断出加人工闸门—— 执行停在 WAITING_HUMAN，等您在页面上点"放行"：
点开任意 .raw 产物直接画波形， 报告、评审、诊断 JSON 点开看关键结论：
3×3 双参数网格里埋了两组 τ=RC=2.5ms 的等效解，探索结果精确并列—— 这正是 DTCO 设计空间的核心现象：同一指标目标存在多组参数组合，工程上按面积、 功耗、噪声取舍。
GPL 组件只能独立容器 + RPC， 注册为 GPL 类别的工具若不是远程调用器，网关启动直接报错——删掉闸门，单元测试变红。
隔离容器内附 OpenVAF 源码快照与许可证文本， 镜像可独立分发；版本冻结到 commit，升级须过合规审查并更新台账。
AGPL 组件禁入产品；严禁对任何 闭源软件做反编译/逆向；组件引入先查 OSS 台账，未登记必须先过审。
make bench 精度基线、 make e2e 五组集成回归、make demo 五幕演示剧本——以后升级任何组件，一跑就知道有没有退化。