القائمة
调用 QRouter 1.4 对 placed DEF 执行 detail routing，产出 routed.def。触发场景：(1) bba-guru-pd 在 placement 完成后做布线；(2) 显式 /bb-invoke-qrouter。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
基于 AST 检查 CDC/RDC 违例：对比 MAS clock_domains 找跨域信号，检查是否被 2ff-sync CBB 保护。触发场景：(1) bba-guru-synthesis 综合前；(2) 显式 /bb-check-cdc。
调用 verible-verilog-lint 检查 SV 源码。src 必须可综合（零 syntax error），tb 允许 verification constructs。发现 src error 时自动修复重检（max 3 iter）。触发：(1) bba-guru-rtl 生成后；(2) RTL 修复重检；(3) 显式 /bb-check-lint。
解析 Verilator coverage.dat + sim log，输出 functional + code coverage 数值，判断是否 100% 达标。触发场景：(1) bb-invoke-verilator 后；(2) 每次回归后；(3) 显式 /bb-collect-coverage。
从 MAS（io_ring/pad_list/clock_plan）+ 综合网表生成 Magic floorplan TCL，交给 bb-invoke-magic 执行。触发场景：(1) bba-guru-pd 综合后做 floorplan；(2) DRC 失败后调整 utilization 重生成；(3) 显式 /bb-create-floorplan。
从 MAS（clock_domains / io_timing / path_exceptions）派生 Synopsys SDC 时序约束文件，OpenSTA 语法校验。触发场景：(1) bba-guru-synthesis 综合前；(2) post-PD timing fail 修订约束；(3) 显式 /bb-create-sdc。
扫描 RTL 目录提取模块层次依赖，拓扑排序后写 file_list.f（叶模块在前，top 在最后），供 Yosys/Verilator 使用。触发场景：(1) bba-guru-rtl 生成 RTL 后生成 file_list；(2) 显式 /bb-find-module-deps。
| name | bb-invoke-qrouter |
| description | 调用 QRouter 1.4 对 placed DEF 执行 detail routing，产出 routed.def。触发场景：(1) bba-guru-pd 在 placement 完成后做布线；(2) 显式 /bb-invoke-qrouter。 |
| user-invocable | true |
对 placed DEF + tech/cell LEF 跑详细布线，输出 routed DEF。布线失败需 bba-guru-pd 调整 floorplan utilization 后重试。
bba-guru-pdbb-invoke-magic(action=place)bb-invoke-magic(action=drc)| arg | type | required | 默认 | 说明 |
|---|---|---|---|---|
| placed_def | path | true | — | designs/<name>/pd/placed.def |
| tech_lef | path | true | — | ASAP7 tech LEF |
| cell_lef | path | true | — | ASAP7 standard cell LEF |
| design_name | string | true | — | — |
| strategy | enum | false | default | default | high_effort |
| stamp | string | false | <auto> | — |
| field | 值 |
|---|---|
artifact_path | designs/<name>/pd/routed.def |
cfg_path | designs/<name>/pd/qrouter_<stamp>.cfg |
log_path | designs/<name>/pd/qrouter_<stamp>.log |
failed_nets | int |
valid | bool |
error | string|null |
scripts/render_qrouter_cfg.py 渲染：
lef <tech_lef>
lef <cell_lef>
read <placed_def>
route
writeback
write <name>_routed.def designs/<name>/pd/routed.def
quit
strategy=high_effort 追加 set rip_limit 50 等积极参数。
scripts/run_qrouter.py：
source ~/wrk/eda_opensources/eda_env.shqrouter -v 2>&1 | grep "1.4" 否则 VERSION_MISMATCHtimeout 3600 qrouter -noclockdiff -c <cfg> > <log> 2>&1exit:<rc>scripts/parse_qrouter.py：
routed.def 存在 → valid=truerouting failed / Unable to route → 计数 failed_nets写 qrouter_<stamp>.json。
返回 JSON。bba-guru-pd：
failed_nets==0 → 调 bb-invoke-magic(action=drc)failed_nets>0 → 增加 utilization margin（-0.05）重 floorplan，≤5 iter| 状态 | 行动 |
|---|---|
| failed_nets==0 | 进 DRC |
| failed_nets>0 | 调 floorplan 重试 |
VERSION_MISMATCH | 修 eda_env.sh |
| Phase 2 timeout（3600s） | error="ROUTE_TIMEOUT"，提高 utilization |
| iter > 5 | retreat 到 synth-needs-fix |
scripts/render_qrouter_cfg.py、scripts/run_qrouter.py、scripts/parse_qrouter.pyreferences/asap7_lef.md — tech/cell LEF 位置Gotcha/qrouter_pitfalls.md — congestion / pitch / via stack