chip-impl-self-check

自检 Skill

任务

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

输入

• rtl_files: RTL 文件列表
• lint_report: Lint 报告
• synth_report: 综合报告
• microarch_doc: 微架构文档

三阶段自检

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

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

以下检查项均有对应 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
# 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