메뉴
把 mas/verif_plan_seed.md 扩展为完整验证计划 markdown（功能检查点、覆盖率目标、边界、随机约束、test case 清单）。触发场景：(1) bba-guru-verification 启动时；(2) 显式 /bb-create-verif-plan。
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-create-verif-plan |
| description | 把 mas/verif_plan_seed.md 扩展为完整验证计划 markdown（功能检查点、覆盖率目标、边界、随机约束、test case 清单）。触发场景：(1) bba-guru-verification 启动时；(2) 显式 /bb-create-verif-plan。 |
| user-invocable | true |
读 verif_plan_seed.md + MAS（接口/FSM/clock_domains），输出 verification_plan.md，含 6 个必备 section。
bba-guru-verificationbb-generate-tb| arg | type | required | 默认 | 说明 |
|---|---|---|---|---|
| verif_plan_seed | path | true | — | designs/<name>/mas/verif_plan_seed.md |
| mas_path | path | true | — | designs/<name>/mas/mas.json |
| design_name | string | true | — | — |
| stamp | string | false | <auto> | — |
| field | 值 |
|---|---|
artifact_path | designs/<name>/verif/verification_plan.md |
script_path | designs/<name>/verif/gen_plan_<stamp>.py |
sections | list[str] |
functional_points | int（FTP 数） |
coverage_bins | int |
valid | bool |
error | string|null |
FTP-NNN，与 PRD FR 对应）bb-generate-tb 用）scripts/render_plan_py.py：
import json
mas = json.load(open(mas_path))
seed = open(verif_plan_seed).read()
# 1. 从 mas.fsm 提 FSM 状态 → covergroup
# 2. 从 mas.interfaces 提关键信号 → coverpoint
# 3. 把 seed 中已列条目编号为 FTP-001..
# 4. 渲染 6-section markdown
timeout 180 uv run python <script_path> > <artifact_path> 2> <log>
scripts/parse_plan.py：
## <Section> 标题 → sectionsFTP-\d+ 出现次数 → functional_pointsbins 行 → coverage_binsvalid = (sections == 6_required)返回 JSON。bba-guru-verification 用此初始化 coverage tracker，调 bb-generate-tb。
| 状态 | 行动 |
|---|---|
| valid=true | 进 bb-generate-tb |
| sections 缺失 | 重生成 1 次 |
| 仍失败 | error="plan sections incomplete" |
scripts/render_plan_py.py、scripts/run_gen_plan.py、scripts/parse_plan.pyassets/verif_plan.md.tmplreferences/coverage_naming.md — covergroup/bin 命名规范