chip-synthesis-runner

Chip Synthesis Runner

任务

使用 yosys 对 RTL 代码执行综合，验证可综合性并输出面积/资源估计。使用 oss-cad-suite 工具链。

目录约定

项目	路径
Syn 脚本	{module}_work/ds/run/run_synth.sh
报告目录	{module}_work/ds/report/syn/
oss-cad-suite	.claude/tools/oss-cad-suite/

工具路径

工具	路径	用途
yosys	.claude/tools/oss-cad-suite/bin/yosys	RTL 综合、面积估计、资源分析

执行步骤

1. 前置条件：确认 chip-lint-checker 全部阶段通过。若未执行 Lint，暂停并提示先运行 chip-lint-checker。
2. 确定输入：
   • 顶层模块名
   • RTL 文件列表：用 Glob 搜索 {module}_work/ds/rtl/*.v 获取所有 RTL 文件
   • 文件存在性检查：验证 RTL 文件存在，不存在则暂停并列出候选文件
3. 生成脚本：在 {module}_work/ds/run/ 下生成 run_synth.sh（脚本模板见下方）
4. 创建报告目录：mkdir -p {module}_work/ds/report/syn/
5. 执行：cd {module}_work && bash ds/run/run_synth.sh {top} {rtl_files}
6. 解析报告：读取 ds/report/syn/ 下的日志文件，与微架构 §8 PPA 预估对比

run_synth.sh 脚本模板

#!/bin/bash
# 综合脚本 — 由 chip-synthesis-runner 生成
# 用法: bash run_synth.sh <top_module> <rtl_file1> [rtl_file2] ...

TOP=$1
shift
RTL_FILES="$@"
REPORT_DIR="ds/report/syn"
TOOL_DIR=".claude/tools/oss-cad-suite/bin"

mkdir -p "$REPORT_DIR"

echo "=== Phase 1: 综合验证 ==="
$TOOL_DIR/yosys -p "
  read_verilog -I. $RTL_FILES;
  synth -top $TOP;
  stat;
  check;
" 2>&1 | tee "$REPORT_DIR/1_synth_verify.log"

# 提取面积统计
grep -A 20 "Printing statistics" "$REPORT_DIR/1_synth_verify.log" > "$REPORT_DIR/1_synth_check.log" 2>/dev/null

echo "=== Phase 2: Flatten 综合 ==="
$TOOL_DIR/yosys -p "
  read_verilog -I. $RTL_FILES;
  synth -top $TOP;
  flatten;
  stat;
  opt_clean -purge;
" 2>&1 | tee "$REPORT_DIR/2_synth_flat.log"

# 提取面积统计
grep -A 20 "Printing statistics" "$REPORT_DIR/2_synth_flat.log" > "$REPORT_DIR/2_area_stat.log" 2>/dev/null

# 汇总
echo "=== Synthesis Summary ===" > "$REPORT_DIR/synth_summary.log"
if grep -q "ERROR" "$REPORT_DIR/1_synth_verify.log"; then
  echo "Phase 1: FAIL" >> "$REPORT_DIR/synth_summary.log"
else
  echo "Phase 1: PASS" >> "$REPORT_DIR/synth_summary.log"
fi
if grep -q "ERROR" "$REPORT_DIR/2_synth_flat.log"; then
  echo "Phase 2: FAIL" >> "$REPORT_DIR/synth_summary.log"
else
  echo "Phase 2: PASS" >> "$REPORT_DIR/synth_summary.log"
fi
cat "$REPORT_DIR/2_area_stat.log" >> "$REPORT_DIR/synth_summary.log"