一键在 Manus 中运行任何 Skill

bb-check-cdc

星标35

分支9

更新时间2026年5月31日 11:01

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

安装

用 Codex 或 Claude 帮你安装复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。

在 Manus 中运行

来源

amoslee2026

amoslee2026/Babel

打开 GitHub 仓库查看创作者相关仓库

下载

在 Manus 中运行

bb-check-cdc

职责

读 bb-parse-ast 的 AST + MAS.clock_domains，识别跨时钟域 register-to-register 路径，检查是否通过 2ff 同步器，输出 violation 报告。

调用者：bba-guru-synthesis
上游：bb-parse-ast（backend=auto 自动降级到 verible/slang）
禁止使用：Task / Agent / Skill

Input Args

arg	type	required	默认	说明
file_list	path	true	—	`file_list.f`
ast_path	path	true	—	`bb-parse-ast` 产出
mas_path	path	true	—	`designs/<name>/mas/mas.json`
design_name	string	true	—	—
stamp	string	false	`<auto>`	—

Output Contract

field	值
`artifact_path`	`designs/<name>/cdc/cdc_report.json`
`script_path`	`designs/<name>/cdc/check_cdc_<stamp>.py`
`log_path`	`designs/<name>/cdc/cdc_<stamp>.log`
`violations`	`[{type,from_clk,to_clk,signal,line,waived:bool}]`
`clean`	bool（unwaived violations==[]）
`valid`	bool

4-Phase 执行

Phase 1 — render_cdc_py

scripts/render_cdc_py.py 渲染：

import json
ast = json.load(open(ast_path))
mas = json.load(open(mas_path))
domains = mas["clock_domains"]
# 1. 抽取所有 always_ff (@posedge clk) blocks
# 2. 对每条赋值，标注其 clock domain (信号→sensitivity clock)
# 3. R-to-R 路径：from_clk != to_clk → 候选 violation
# 4. 检查 sink 之前是否经过 wiki/cbb/2ff-sync 实例
violations = analyze(ast, domains)
json.dump({"violations": violations}, open(out, "w"))

Phase 2 — run_cdc

timeout 600 uv run python <script_path> > <log> 2>&1，追加 exit:<rc>。

Phase 3 — parse_cdc

scripts/parse_cdc.py：

解析输出 JSON
clean = all(not v.waived for v in violations)
写 cdc_report.json

Phase 4 — return

返回 JSON。clean=false → bba-guru-synthesis 开 rtl-needs-fix（CDC 不允许 waive）。

收敛 / 失败

状态	行动
clean=true	进 yosys
clean=false（unwaived）	开 `rtl-needs-fix` 退出
pyverilog 解析失败	重试 `bb-parse-ast --backend verible`（或 `slang`）
Phase 2 timeout（600s）	`error="CDC_TIMEOUT"`

资源索引

scripts/render_cdc_py.py、scripts/run_cdc.py、scripts/parse_cdc.py
references/2ff_sync_pattern.md — 同步器识别规则
Gotcha/cdc_false_positives.md — handshake / gray code 等不视为 violation

同仓库更多 Skills

同仓库

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

bb-gate

amoslee2026/Babel

统一质量门禁：RTL / 综合 / 测试 / PD 四阶段验收。调用共享 gate_runner.py 参数化。触发：(1) bba-guru-* 在阶段结束时调用；(2) 显式 /bb-gate <domain>。

2026-05-3135

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

bb-check-cdc

职责

读 bb-parse-ast 的 AST + MAS.clock_domains，识别跨时钟域 register-to-register 路径，检查是否通过 2ff 同步器，输出 violation 报告。

调用者：bba-guru-synthesis
上游：bb-parse-ast（backend=auto 自动降级到 verible/slang）
禁止使用：Task / Agent / Skill

Input Args

arg	type	required	默认	说明
file_list	path	true	—	`file_list.f`
ast_path	path	true	—	`bb-parse-ast` 产出
mas_path	path	true	—	`designs/<name>/mas/mas.json`
design_name	string	true	—	—
stamp	string	false	`<auto>`	—

Output Contract

field	值
`artifact_path`	`designs/<name>/cdc/cdc_report.json`
`script_path`	`designs/<name>/cdc/check_cdc_<stamp>.py`
`log_path`	`designs/<name>/cdc/cdc_<stamp>.log`
`violations`	`[{type,from_clk,to_clk,signal,line,waived:bool}]`
`clean`	bool（unwaived violations==[]）
`valid`	bool

4-Phase 执行

Phase 1 — render_cdc_py

scripts/render_cdc_py.py 渲染：

import json
ast = json.load(open(ast_path))
mas = json.load(open(mas_path))
domains = mas["clock_domains"]
# 1. 抽取所有 always_ff (@posedge clk) blocks
# 2. 对每条赋值，标注其 clock domain (信号→sensitivity clock)
# 3. R-to-R 路径：from_clk != to_clk → 候选 violation
# 4. 检查 sink 之前是否经过 wiki/cbb/2ff-sync 实例
violations = analyze(ast, domains)
json.dump({"violations": violations}, open(out, "w"))

Phase 2 — run_cdc

timeout 600 uv run python <script_path> > <log> 2>&1，追加 exit:<rc>。

Phase 3 — parse_cdc

scripts/parse_cdc.py：

解析输出 JSON
clean = all(not v.waived for v in violations)
写 cdc_report.json

Phase 4 — return

返回 JSON。clean=false → bba-guru-synthesis 开 rtl-needs-fix（CDC 不允许 waive）。

收敛 / 失败

状态	行动
clean=true	进 yosys
clean=false（unwaived）	开 `rtl-needs-fix` 退出
pyverilog 解析失败	重试 `bb-parse-ast --backend verible`（或 `slang`）
Phase 2 timeout（600s）	`error="CDC_TIMEOUT"`

资源索引

scripts/render_cdc_py.py、scripts/run_cdc.py、scripts/parse_cdc.py
references/2ff_sync_pattern.md — 同步器识别规则
Gotcha/cdc_false_positives.md — handshake / gray code 等不视为 violation