| name | chip-impl-self-check |
| description | Use when performing final self-check on RTL implementation before delivery. Triggers on '自检', 'self-check', 'self check', '实现自检', 'quality checklist', 'IC-01', 'IM-01', '检查清单'. Runs IC-01~39 + IM-01~08 implementation quality checklist. |
自检 Skill
任务
工具化检查通过后，按 quality-checklist-impl.md 执行三阶段自检。
输入
rtl_files: RTL 文件列表lint_report: Lint 报告synth_report: 综合报告microarch_doc: 微架构文档
三阶段自检
-
文件发现：用 Glob 搜索 {module}_work/ds/rtl/*.v 获取 RTL 文件列表，确认 .claude/shared/quality-checklist-impl.md 存在。若文件不存在，暂停并提示用户
-
第一阶段（自动化 — 可脚本化）
以下检查项均有对应 Grep 脚本模式，可批量执行。
| IC | 检查项 | Grep 脚本模式 |
|---|
| IC-06 | 无不可综合结构 | grep -n 'initial|#.*delay|force|release|\$display|\$finish' {file}.v |
| IC-07 | 位宽匹配 | grep -n "= [0-9]*'[bdh]" {file}.v + 人工核对位宽前缀 |
| IC-13 | 无 casex/casez | grep -n 'casex|casez' {file}.v → 命中即 FAIL |
| IC-22 | 子模块名称关联 | grep -n '^\s*\w\+\s\+\w\+\s*(' {file}.v → 检查是否用 . 开头 |
| IC-34 | 扫描使能路径 | grep -n 'CKLNQD1|ICG|scan_en' {file}.v → 检查 scan_en 端口 |
| IC-35 | 注释覆盖率 >30% | total=$(grep -c '.' {file}.v); comment=$(grep -c '//' {file}.v); echo "$comment*100/$total" |
| IC-36 | always 行数 ≤100 | awk '/always.*begin/{start=NR} /end/{if(start)print NR-start+1; start=0}' {file}.v |
自动化 Grep 脚本模板
#!/bin/bash
FILE=$1
FAIL=0
echo "=== IC-06: 不可综合结构 ==="
if grep -qn 'initial\|#.*delay\|force\|release\|\$display\|\$finish' "$FILE"; then
echo "FAIL: 发现不可综合结构"
grep -n 'initial\|#.*delay\|force\|release\|\$display\|\$finish' "$FILE"
FAIL=1
else
echo "PASS"
fi
echo "=== IC-13: 无 casex/casez ==="
if grep -qn 'casex\|casez' "$FILE"; then
echo "FAIL: 发现 casex/casez"
grep -n 'casex\|casez' "$FILE"
FAIL=1
else
echo "PASS"
fi
echo "=== IC-22: 子模块名称关联 ==="
INST_LINES=$(grep -n '^\s*[a-zA-Z_]\+\s\+[a-zA-Z_]\+\s*(' "$FILE" | grep -v 'module\|function\|task')
if [ -n "$INST_LINES" ]; then
echo "WARN: 请人工确认以下实例化是否使用名称关联:"
TOTAL=$(grep -c )
COMMENT=$(grep -c )
[ -gt 0 ];
RATIO=$((COMMENT * / TOTAL))
[ -lt 30 ];
FAIL=1
awk
awk
awk
awk
-
第二阶段（编码规范）
| IC | 检查项 | 检查方法 |
|----|--------|----------|
| IC-01 | 寄存器有复位值 | grep always @(posedge clk 检查 reset 分支 |
| IC-02 | 无 latch | always @(*) 所有输出有默认值 |
| IC-03 | 赋值规则 | 时序 <=，组合 =，不混用 |
| IC-04 | case 有 default | grep case 检查 default |
| IC-05 | 无门控时钟 | 仅使用标准 ICG |
| IC-08 | SVA 在 ifdef 内 | 所有 SVA 在 ifdef ASSERT_ON 内 |
| IC-09 | Interface 不含逻辑 | 无 always/assign/initial |
| IC-10 | 参数化位宽 | 无硬编码 [31:0] |
| IC-11 | generate 有标签 | 所有 generate 块有 begin/end 标签 |
| IC-12 | 文件头完整 | Module/Function/Author/Date/Revision |
| IC-14 | 无组合环路 | valid 不依赖 ready |
| IC-15 | if-else 补全 | 所有 if 有 else |
| IC-16 | 异步信号已同步 | 跨域信号经同步链 |
| IC-17 | 低有效极性 | if (!rst_n) |
| IC-18 | FIFO 深度为 2 的幂 | 深度 = 2^n |
| IC-19 | 无未连接端口 | 所有端口已连接 |
| IC-20 | task/function 规范 | 禁止 task |
| IC-21 | always 敏感列表完整 | 组合用 @(*) |
-
第三阶段（设计模式+DFT+矛盾检测）
| IC/IM | 检查项 | 检查方法 |
|-------|--------|----------|
| IC-23 | Credit 流控合规 | credit 归零立即反压 |
| IC-24 | 流水线每级有 valid | 无省略的流水级 |
| IC-25 | SRAM 写冲突仲裁 | 同地址同周期写有优先级 |
| IC-26 | flush 可清除所有级 | flush 高于 stall |
| IC-27 | 多通道无耦合 | 通道间无耦合 |
| IC-28 | 握手稳定性 | valid 保持稳定 |
| IC-29 | 数据稳定性 | valid&&ready 时数据稳定 |
| IC-30 | 寄存器可入扫描链 | 无不可扫描结构 |
| IC-31 | 无异步置位 | 仅异步复位 |
| IC-32 | 无门控时钟 | 仅标准 ICG |
| IC-33 | 无组合反馈环 | lint 无反馈环警告 |
| IC-37 | always 信号数 <5 | 单块生成信号 <5 |
| IC-38 | 信号分组 | 语义相近同块 |
| IC-39 | 总线分域赋值 | 按功能域分段赋值 |
| IM-01 | 端口位宽一致 | RTL 与微架构 §4.1 一致 |
| IM-02 | FSM 状态完整 | 微架构 §5.3 状态在 RTL 中存在 |
| IM-03 | FIFO 深度一致 | RTL 与微架构 §5.5 一致 |
| IM-04 | CBB 参数一致 | RTL 与微架构 §5.6 一致 |
| IM-05 | 背压链路完整 | 微架构 §5.2 反压路径在 RTL 中存在 |
| IM-06 | SVA 完整 | 微架构 §10 验证场景已实现 |
| IM-07 | SDC 时钟一致 | RTL SDC 与微架构 §6 一致 |
| IM-08 | CBB 引用标注 | 使用 CBB 有 // CBB Ref |
输出
self_check_report: 自检报告（通过/失败项列表）
Gate
IC-0139 + IM-0108 全部通过。
Metrics
执行完成后记录到 {work_dir}/ds/report/metrics/self_check.json：
{"stage_id": "self_check", "duration_ms": 0, "iteration_count": 1}
iteration_count 记录自检修复循环实际迭代次数。
失败处理
- 逐项修复后重新执行对应阶段
- 第一阶段失败 → 修复后重新执行第一阶段
- 第二阶段失败 → 修复后重新执行第二阶段
- 第三阶段失败 → 修复后重新执行第三阶段
使用示例
示例 1：
- 用户：「data_adpt RTL 已通过 Lint 和综合，执行自检」
- 行为：第一阶段自动化 Grep 检查（IC-06 不可综合结构、IC-13 casex/casez、IC-35 注释覆盖率等），第二阶段编码规范逐项检查，第三阶段设计模式+DFT 检查，输出自检报告
示例 2：
- 用户：「帮我检查 buf_mgr 的 always 块是否超过 100 行」
- 行为：执行第一阶段 IC-36 检查，用 awk 分析每个 always 块行数，超过 100 行的标注 FAIL 并列出位置
异常处理
| 场景 | 触发条件 | 处理动作 |
|---|
| RTL 文件不存在 | 文件路径无效 | 暂停，提示先完成 RTL 实现 |
| 自检全部通过但 Lint 失败 | 自检与 Lint 结果矛盾 | 以 Lint 报告为准，标注差异项 |
| 修复循环超限 | 反复修复仍不通过 | 暂停，输出失败项历史，等待人工介入 |
| 微架构文档缺失 | 无法执行 IM-01~08 检查 | 跳过第三阶段 IM 检查，标注 [IM-SKIPPED] |
检查点
检查前：
- 确认 RTL 文件列表非空
- 确认 Lint 报告和综合报告已生成
- 确认微架构文档存在（用于 IM-01~08）
检查后：
- 确认 IC-01~39 全部通过
- 确认 IM-01~08 全部通过（微架构文档存在时）
- 确认自检报告已输出
- 确认 metrics 已写入
{work_dir}/ds/report/metrics/self_check.json
