Chip Rtl Bug Checker

RTL Bug 检查器

基于 data_adpt 实战经验的 RTL Bug 模式检查。chip-code-writer 在每个子模块 RTL 编写完成后调用。

输入

输出

检查项（6 大类）

A. 流水线与状态机

B. 输入锁存

C. 接口连接

D. FIFO 与流控

E. 位域与宽度

F. 资源冲突

执行步骤

读取 RTL 文件 → 第一轮自动化 Grep → 第二轮 LLM 审查 → 汇总结果 → 输出报告

第一轮：自动化 Grep 检查

对每个 RTL 文件执行以下 Grep 命令，结果自动判定 PASS/FAIL：

A1: FSM 边界检查

# 检查 FSM 状态转移是否有 default 分支回收非法状态
grep -n "case.*state" {file} | head -5
grep -n "default" {file} | head -5
# 判定：case 块无 default → FAIL

B1: 输入锁存检查

# 检查组合 always 块输出是否有默认值（防 latch）
grep -cn "always @(\*)" {file}
grep -A 2 "always @(\*)" {file} | grep -c "= 0\|= 'b0\|= 1'b0"
# 判定：组合块数 > 默认值赋值数 → WARN（需 LLM 确认）

D2: FIFO 深度检查

# 检查 FIFO 深度是否为 2 的幂
grep -n "parameter.*DEPTH\|localparam.*DEPTH" {file}
# 判定：DEPTH 值不是 2^n → FAIL

E1: 硬编码位域检查

# 检查寄存器位域是否有硬编码数字索引（应用 localparam）
grep -Pn "\[\d+:\d+\]" {file} | grep -v "parameter\|localparam\|genvar\|// "
# 判定：有硬编码索引且非参数/注释 → WARN

E2: 位宽匹配检查

# 检查常量是否指定位宽
grep -Pn "\b\d+'[dhb]" {file} | head -10
# 反向检查：无位宽的裸数字常量
grep -Pn "(?<!\d'|\w)\b\d{2,}\b(?![dhb])" {file} | grep -v "//\|parameter\|localparam" | head -10
# 判定：有裸数字常量用于赋值 → WARN

F1: 多写端口检查

# 检查同一数组是否有多个 always 块赋值
grep -Pn "\w+\[\w+\]\s*<=" {file} | awk '{print $1}' | sort | uniq -d
# 判定：同一数组在多个 always 块中被赋值 → FAIL（需优先级检查）

C1: 端口连接检查（需顶层文件）

# 检查子模块实例化端口是否完整
grep -n "\..*(" {file} | wc -l
# 与子模块端口数对比，差异 > 0 → WARN

IC-36: always 块行数检查

# 统计每个 always 块的行数
awk '/^always/{start=NR; block=""} start{block=block"\n"$0} /^end/{if(start){lines=NR-start; if(lines>100) print "WARN: always at line "start" has "lines" lines"; start=0}}' {file}
# 判定：> 200 行 → FAIL，100~200 行 → WARN

第二轮：LLM 审查

对第一轮标记为 WARN 的项，以及以下无法自动化的检查项，读取 RTL 代码逐项审查：

判定标准

异常处理

检查点

• 检查前：展示待检查文件列表和行数，确认范围
• 检查后：按严重级别分类展示（Critical / Major / Info），用户确认修复优先级

输出格式

## RTL Bug 检查报告

| 类别 | # | 检查项 | 结果 | 详情 |
|------|---|--------|------|------|
| A | A1 | FSM 边界检查 | PASS/FAIL | {详情} |
| ... | ... | ... | ... | ... |

**总结**：{PASS/WARN/FAIL} | Critical: {N}/{N} | Major: {N}/{N}

使用示例

示例 1：检查单个 RTL 文件

用户：帮我检查 ds/rtl/data_adpt_buf.v 有没有 bug

预期行为：

1. 读取文件，执行 6 大类自动 grep 检查
2. 对 WARN 项进行 LLM 深度审查
3. 输出 bug 检查报告表格 + 总结

示例 2：检查多个文件并交叉验证微架构

用户：检查 data_adpt 所有 RTL 文件，微架构文档在 ds/doc/ua/

预期行为：

1. 扫描 ds/rtl/ 下所有 .v 文件
2. 逐文件执行自动化检查
3. 与微架构文档交叉验证端口、FSM、FIFO 设计
4. 输出汇总报告

降级策略

• Grep 扫描失败 → 跳过自动化检查，全部转为 LLM 审查
• RTL 文件不可读 → 标注 [FILE-UNREADABLE]，跳过该文件