chip-impl-quality-gate

质量门禁 Skill

任务

执行 Lint 和综合检查，不通过时自动进入自愈循环修复。

强制门禁声明

铁律：Lint 和综合检查是 RTL 交付的强制前置条件，不可跳过、不可降级。

门禁	强制级别	通过标准	失败行为
Lint	MUST	lint_summary.log ALL PASS	进入自愈循环修复
综合	MUST	synth_summary.log ALL PASS + 面积差异 <50%	进入自愈循环优化

输入

• rtl_files: RTL 文件列表
• sdc_file: SDC 约束文件
• work_dir: 工作目录路径

执行步骤

1. 文件发现：用 Glob 搜索 {module}_work/ds/rtl/*.v 获取 RTL 文件列表。若文件不存在，暂停并提示用户。同时验证 lint/synth 脚本（{module}_work/ds/run/run_lint.sh、{module}_work/ds/run/run_synth.sh）存在

2. 环境检测：检查工具可用性，缺失时提示安装：

# 检查 iverilog
command -v .claude/tools/oss-cad-suite/bin/iverilog >/dev/null 2>&1 || \
  command -v iverilog >/dev/null 2>&1 || \
  { echo "[ENV-MISSING] iverilog not found. Install oss-cad-suite or add to PATH."; exit 1; }

# 检查 yosys
command -v .claude/tools/oss-cad-suite/bin/yosys >/dev/null 2>&1 || \
  command -v yosys >/dev/null 2>&1 || \
  { echo "[ENV-MISSING] yosys not found. Install oss-cad-suite or add to PATH."; exit 1; }

工具路径优先级：项目本地 .claude/tools/oss-cad-suite/bin/ > 系统 PATH。 检测失败 → 暂停，标注 [ENV-MISSING]，提示用户安装。

1. Lint 检查：

   cd {module}_work && bash ds/run/run_lint.sh {top} rtl/*.v
   

   读取 ds/report/lint/lint_summary.log：

   • ALL PASS → 进入步骤 2
   • HAS FAILURES → 进入 Lint 修复

2. 综合检查：

   cd {module}_work && bash ds/run/run_synth.sh {top} rtl/*.v
   

读取 ds/report/syn/synth_summary.log：

• ALL PASS + 面积差异 <50% → 门禁通过
• 面积差异 >50% → 暂停确认
• HAS FAILURES → 进入综合优化

自愈循环

Lint → ALL PASS? → Synthesis → ALL PASS? → 通过
         ↓ No              ↓ No
    Lint 分析          Synth 分析
         ↓                  ↓
    修复 RTL           优化 RTL
         ↓                  ↓
    重跑 Lint          重跑 Synth

Lint 修复规则

Critical（必须修复）：

错误类型	识别特征	修复规则
语法 error	1_iverilog.log 中 error 行	补分号/修正端口声明
组合环路	2_yosys_lint.log 中 combinational loop	插入时序寄存器打断
多驱动	2_yosys_lint.log 中 multiple driver	合并到单个 always 块