ワンクリックでManusで任意のスキルを実行

bb-create-verif-plan

スター35

フォーク9

更新日2026年5月30日 16:03

把 mas/verif_plan_seed.md 扩展为完整验证计划 markdown（功能检查点、覆盖率目标、边界、随机约束、test case 清单）。触发场景：(1) bba-guru-verification 启动时；(2) 显式 /bb-create-verif-plan。

インストール

Codex または Claude でインストールこの Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。

Manusで実行

ソース

amoslee2026

amoslee2026/Babel

GitHub リポジトリを開く Creator のリポジトリを見る

ダウンロード

Manusで実行

bb-create-verif-plan

职责

读 verif_plan_seed.md + MAS（接口/FSM/clock_domains），输出 verification_plan.md，含 6 个必备 section。

调用者：bba-guru-verification
下游：bb-generate-tb
禁止使用：Task / Agent / Skill

Input Args

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>`	—

Output Contract

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

verification_plan.md 必备 sections

Functional Coverage Groups（FSM 状态 / 操作模式各一）
Code Coverage Targets（line / branch / toggle / condition；100%）
Functional Test Points（编号 FTP-NNN，与 PRD FR 对应）
Corner Cases（边界值 / 溢出 / 复位时序 / CDC crossing）
Random Constraints（约束随机策略）
Test Case List（FTP → seq 映射，供 bb-generate-tb 用）

4-Phase 执行

Phase 1 — render_plan_py

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

Phase 2 — run_gen_plan

timeout 180 uv run python <script_path> > <artifact_path> 2> <log>

Phase 3 — parse_plan

scripts/parse_plan.py：

正则查 6 个必备 ## <Section> 标题 → sections
统计 FTP-\d+ 出现次数 → functional_points
统计 covergroup bins 行 → coverage_bins
valid = (sections == 6_required)

Phase 4 — return

返回 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.py
assets/verif_plan.md.tmpl
references/coverage_naming.md — covergroup/bin 命名规范

このリポジトリの他の Skills

同じリポジトリ

bb-check-cdc

amoslee2026/Babel

基于 AST 检查 CDC/RDC 违例：对比 MAS clock_domains 找跨域信号，检查是否被 2ff-sync CBB 保护。触发场景：(1) bba-guru-synthesis 综合前；(2) 显式 /bb-check-cdc。

2026-05-3135

bb-check-lint

amoslee2026/Babel

调用 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。

2026-05-3135

bb-collect-coverage

amoslee2026/Babel

解析 Verilator coverage.dat + sim log，输出 functional + code coverage 数值，判断是否 100% 达标。触发场景：(1) bb-invoke-verilator 后；(2) 每次回归后；(3) 显式 /bb-collect-coverage。

2026-05-3135

bb-create-floorplan

amoslee2026/Babel

从 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。

2026-05-3135

bb-create-sdc

amoslee2026/Babel

从 MAS（clock_domains / io_timing / path_exceptions）派生 Synopsys SDC 时序约束文件，OpenSTA 语法校验。触发场景：(1) bba-guru-synthesis 综合前；(2) post-PD timing fail 修订约束；(3) 显式 /bb-create-sdc。

2026-05-3135

bb-find-module-deps

amoslee2026/Babel

扫描 RTL 目录提取模块层次依赖，拓扑排序后写 file_list.f（叶模块在前，top 在最后），供 Yosys/Verilator 使用。触发场景：(1) bba-guru-rtl 生成 RTL 后生成 file_list；(2) 显式 /bb-find-module-deps。

2026-05-3135

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

bb-create-verif-plan

职责

读 verif_plan_seed.md + MAS（接口/FSM/clock_domains），输出 verification_plan.md，含 6 个必备 section。

调用者：bba-guru-verification
下游：bb-generate-tb
禁止使用：Task / Agent / Skill

Input Args

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>`	—

Output Contract

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

verification_plan.md 必备 sections

Functional Coverage Groups（FSM 状态 / 操作模式各一）
Code Coverage Targets（line / branch / toggle / condition；100%）
Functional Test Points（编号 FTP-NNN，与 PRD FR 对应）
Corner Cases（边界值 / 溢出 / 复位时序 / CDC crossing）
Random Constraints（约束随机策略）
Test Case List（FTP → seq 映射，供 bb-generate-tb 用）

4-Phase 执行

Phase 1 — render_plan_py

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

Phase 2 — run_gen_plan

timeout 180 uv run python <script_path> > <artifact_path> 2> <log>

Phase 3 — parse_plan

scripts/parse_plan.py：

正则查 6 个必备 ## <Section> 标题 → sections
统计 FTP-\d+ 出现次数 → functional_points
统计 covergroup bins 行 → coverage_bins
valid = (sections == 6_required)

Phase 4 — return

返回 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.py
assets/verif_plan.md.tmpl
references/coverage_naming.md — covergroup/bin 命名规范