# Chip Spyglass Rdc Chk

> Use when running SpyGlass RDC checks on RTL. Triggers on 'rdc检查', 'rdc check', 'spyglass rdc', '复位域交叉检查', 'rdc验证', 'reset domain crossing', 'rdc setup', 'rdc_verify'. Generates RDC constraints, runs RDC goals, produces violation reports.

- Skill: `zhaixin244-wq/chip-spyglass-rdc-chk` (Agent Skill, multi-file: 4 files)
- Install (CLI): `npx skillmds@latest add zhaixin244-wq/chip-spyglass-rdc-chk`
- Raw SKILL.md: https://api.skillmd.com/api/skills/zhaixin244-wq/chip-spyglass-rdc-chk/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-spyglass-rdc-chk

---


# Chip SpyGlass RDC Checker

使用 SpyGlass 工具对 RTL 执行 RDC（Reset Domain Crossing）检查。

## When to Use

- 多复位域设计的 RTL 完成后
- 需要验证跨复位域信号是否正确处理
- RDC 签核（sign-off）前的检查
- 子模块交付前的 RDC 验证
- CDC 检查完成后，补充 RDC 检查

## 工具路径

| 工具 | 路径 |
|------|------|
| SpyGlass | 系统 PATH（需安装 Synopsys SpyGlass） |

## 目录约定

| 项目 | 路径 |
|------|------|
| RDC 脚本 | `{module}_work/ds/run/run_rdc.sh` |
| RDC 约束 | `{module}_work/ds/run/{module}.rdc.tcl` |
| 报告目录 | `{module}_work/ds/report/rdc/` |
| Waiver 文件 | `{module}_work/ds/run/{module}.rdc.waiver` |
| 模板目录 | `.claude/skills/chip-spyglass-rdc-chk/templates/` |

## 核心工作流

```
Phase 0: 输入确认
  ├─ 确认顶层模块名和 RTL 文件列表
  ├─ 确认复位域信息（来自 FS/微架构文档）
  ├─ 确认复位释放顺序
  └─ 确认 Black Box 模块列表

Phase 1: 生成 RDC 约束
  ├─ 基于复位域信息生成 reset 定义
  ├─ 生成 set_rdc_define_assertion_sequence（复位释放顺序）
  ├─ 生成 set_reset_groups（复位分组）
  ├─ 生成 rdc_qualifier（阻断信号）
  └─ 复用 CDC 的时钟/常量/准静态约束

Phase 2: 执行 RDC Setup
  ├─ 运行 rdc_setup Goal
  ├─ 检查复位定义完整性
  └─ 修复所有 Setup Error

Phase 3: 执行 RDC Verify
  ├─ 运行 rdc_verify（亚稳态检查）
  ├─ 运行 rdc_verify_corrupt（数据损坏检查）
  └─ 按优先级分类违例

Phase 4: 报告汇总
  ├─ 生成 rdc_summary.log
  └─ 输出违例分类统计
```

## Phase 0：输入确认

1. 从微架构文档或用户指定提取：
   - 顶层模块名
   - RTL 文件列表
   - 复位域信息（复位名、极性、同步/异步、所属功耗域）
   - 复位释放顺序（哪个复位先释放、哪个后释放）
   - 复位分组（哪些复位属于同一组）
   - RDC Qualifier 信号列表（阻断 RDC 路径的信号）
   - Black Box 模块列表

2. 用 `Glob` 验证 RTL 文件存在

3. 检查是否已有 CDC 约束（SGDC），RDC 可复用时钟/常量/准静态约束

## Phase 1：生成 RDC 约束

根据输入信息生成 `{module}.rdc.tcl`，参考模板 `templates/template_rdc_setup.sh`。

### RDC 约束必须包含

```tcl
# 1. 复用 CDC 约束（时钟/复位/常量/准静态）
source {module}.sgdc

# 2. RDC 复位定义
create_reset -name rst_n -active_low -async
create_reset -name rst_sw -active_high -sync

# 3. 复位释放顺序（最重要）
set_rdc_define_assertion_sequence \
    -from_reset {rst_sw} \
    -to_reset {rst_n}

# 4. 复位分组
set_reset_groups -name grp_por -group {rst_n}
set_reset_groups -name grp_func -group {rst_sw rst_dbg}

# 5. RDC Qualifier（阻断信号）
rdc_qualifier -signal cfg_rdc_gate -value 1

# 6. Scenario-Based（降噪）
configure_rdc_scenario -name func_mode \
    -active_resets {rst_sw rst_dbg} \
    -inactive_resets {rst_n}

# 7. Reset-less Flop 处理
configure_rdc_corrupt -skip_resetless_flops true
```

### RDC 约束编写规则

| 规则 | 说明 |
|------|------|
| 复位必须定义极性和类型 | `create_reset -name rst -active_low -async` |
| 复位释放顺序必须声明 | `set_rdc_define_assertion_sequence` 是降噪核心 |
| 同组复位必须分组 | `set_reset_groups` 消除组内 RDC |
| Qualifier 必须声明 | `rdc_qualifier` 消除已保护路径 |
| 复用 CDC 约束 | `source {module}.sgdc` 避免重复定义时钟 |
| Scenario 降噪 | 区分 PoR/Functional 场景减少噪声 |

## Phase 2-3：执行 RDC Setup 和 Verify

参考模板 `templates/template_rdc_verify.sh`。

### 执行顺序

```bash
# Step 1: RDC Setup（复位定义检查）
spyglass -project {module}_rdc.prj -goal rdc/rdc_setup

# Step 2: RDC Verify（亚稳态检查）
spyglass -project {module}_rdc.prj -goal rdc/rdc_verify

# Step 3: RDC Verify Corrupt（数据损坏检查）
spyglass -project {module}_rdc.prj -goal rdc/rdc_verify_corrupt
```

## Phase 4：RDC Verify 违例分类

按处理优先级排序：

| 优先级 | 类型 | 处理方式 |
|--------|------|----------|
| **P0** | 异步复位释放亚稳态 | **必须修复**：添加复位同步器或设置 reset ordering |
| **P1** | Reset-less path 数据损坏 | **分析判断**：添加 qualifier 或 safe-stating 逻辑 |
| **P2** | RDC on Clock Path | **必须修复**：复位信号禁止组合逻辑驱动时钟 |
| **P3** | 复位收敛问题 | **分析判断**：检查复位是否正确分组 |
| **P4** | Power Domain RDC | **分析判断**：需 UPF 确认隔离/开关 |

## 报告汇总

生成 `rdc_summary.log`：

```
=== RDC Summary ===
Module: {module}
Date: YYYY-MM-DD
RDC Constraints: {module}.rdc.tcl

Setup Check:     PASS/FAIL
RDC Verify:      PASS ({N} violations)
RDC Corrupt:     PASS ({N} violations)

Violation Breakdown:
  P0 (Async Reset Metastability):  {N} — MUST FIX
  P1 (Reset-less Path Corruption): {N} — REVIEW
  P2 (RDC on Clock Path):         {N} — MUST FIX
  P3 (Reset Convergence):          {N} — REVIEW
  P4 (Power Domain RDC):           {N} — REVIEW
  Total:                           {N}

Next: Run chip-spyglass-rdc-resolver to analyze violations
```

## 异常处理

| 场景 | 处理 |
|------|------|
| SpyGlass 未安装 | 暂停，提示安装 Synopsys SpyGlass |
| RDC 约束未提供 | 自动生成基础模板，标注 `[RDC-AUTO]` |
| 复位定义不完整 | 提示从 FS/微架构补充复位信息 |
| 大量相似违例 | 提示检查 reset ordering/grouping |
| CDC 约束不存在 | 提示先运行 chip-spyglass-cdc-chk |

## 调用时机

| 时机 | 触发条件 |
|------|----------|
| CDC 检查完成后 | 每个含多复位域的子模块 |
| 所有子模块完成 | RDC 签核前 |
| 修复后复检 | RDC 报告有 P0/P2 违例 |
| SoC 集成 | 子模块 Abstract View 生成后 |

## 输出文件

| 文件 | 用途 |
|------|------|
| `{module}.rdc.tcl` | RDC 约束文件 |
| `rdc_summary.log` | RDC 检查汇总报告 |
| `spyglass_reports/` | SpyGlass 原始报告 |
| `{module}.rdc.waiver` | Waiver 文件（由 resolver 生成） |

## 与 chip-spyglass-rdc-resolver 的关系

```
chip-spyglass-rdc-chk → 生成 rdc_summary.log
                    ↓
chip-spyglass-rdc-resolver → 分析违例 → 生成修复建议 + waiver 文件
```

## 与 chip-spyglass-cdc-chk 的关系

RDC 检查在 CDC 检查之后执行，复用 CDC 的时钟/复位/常量约束：

```
chip-spyglass-cdc-chk → CDC 验证 → cdc_summary.log + {module}.sgdc
                    ↓
chip-spyglass-rdc-chk → RDC 验证 → rdc_summary.log（复用 .sgdc 约束）
```