# Chip Impl Self Check

> 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: `zhaixin244-wq/chip-impl-self-check` (Agent Skill)
- Install (CLI): `npx skillmds@latest add zhaixin244-wq/chip-impl-self-check`
- Raw SKILL.md: https://api.skillmd.com/api/skills/zhaixin244-wq/chip-impl-self-check/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: zhaixin244-wq (https://skillmd.com/u/zhaixin244-wq)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/zhaixin244-wq/chip-impl-self-check

---


# 自检 Skill

## 任务
工具化检查通过后，按 quality-checklist-impl.md 执行三阶段自检。

## 输入
- `rtl_files`: RTL 文件列表
- `lint_report`: Lint 报告
- `synth_report`: 综合报告
- `microarch_doc`: 微架构文档

## 三阶段自检

0. **文件发现**：用 `Glob` 搜索 `{module}_work/ds/rtl/*.v` 获取 RTL 文件列表，确认 `.claude/shared/quality-checklist-impl.md` 存在。若文件不存在，暂停并提示用户

1. **第一阶段（自动化 — 可脚本化）**

> 以下检查项均有对应 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 脚本模板

```bash
#!/bin/bash
# chip-impl-self-check: 第一阶段自动化检查
# 用法: bash self_check_phase1.sh {file}.v

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: 子模块名称关联 ==="
# 检查实例化行是否以 .port_name 格式连接
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: 请人工确认以下实例化是否使用名称关联:"
    echo "$INST_LINES"
fi

echo "=== IC-35: 注释覆盖率 ==="
TOTAL=$(grep -c '.' "$FILE")
COMMENT=$(grep -c '//' "$FILE")
if [ "$TOTAL" -gt 0 ]; then
    RATIO=$((COMMENT * 100 / TOTAL))
    if [ "$RATIO" -lt 30 ]; then
        echo "FAIL: 注释覆盖率 ${RATIO}% < 30%"
        FAIL=1
    else
        echo "PASS: 注释覆盖率 ${RATIO}%"
    fi
fi

echo "=== IC-36: always 块行数 ==="
awk '/always.*begin/{start=NR} /end/{if(start && NR-start+1>100) print "FAIL: always块行数="NR-start+1" > 100 (行"start"-"NR")"; start=0}' "$FILE"

echo "=== 组合逻辑默认值检查 ==="
# 检查 always @(*) 块开头是否有默认赋值
awk '/always @\(\*\)/{found=1; next} found && /begin/{block=1; next} block && /\w+\s*=\s*/{if(!default_set){print "WARN: always @(*) 可能缺少默认赋值 (行"NR")"} default_set=1; block=0; found=0} block && /end/{block=0; found=0}' "$FILE"

echo "=== case default 检查 ==="
# 检查 case 是否有 default
awk '/case\s*\(/{case_start=NR; in_case=1} in_case && /default/{has_default=1} in_case && /endcase/{if(!has_default && case_start) print "WARN: case 可能缺少 default (行"case_start")"; in_case=0; has_default=0; case_start=0}' "$FILE"

echo "=== generate 标签检查 ==="
# 检查 generate 块是否有标签
awk '/generate/{gen=1} gen && /begin\s*:/{} gen && /begin\s*$/{if(gen) print "WARN: generate 块可能缺少标签 (行"NR")"} gen && /endgenerate/{gen=0}' "$FILE"

exit $FAIL
```

2. **第二阶段（编码规范）**
| 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 敏感列表完整 | 组合用 `@(*)` |

3. **第三阶段（设计模式+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-01~39 + IM-01~08 全部通过。

## Metrics
执行完成后记录到 `{work_dir}/ds/report/metrics/self_check.json`：
```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`