원클릭으로 Manus에서 모든 스킬 실행

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.

Manus에서 실행

개요

설치 명령

npx skills add https://github.com/zhaixin244-wq/fnw --skill chip-spyglass-rdc-chk

이 명령을 Claude Code에 복사하여 붙여넣어 스킬을 설치하세요

출처

zhaixin244-wq/fnw

스타19

포크7

업데이트2026년 6월 1일 08:12

파일 탐색기

4 개 파일

SKILL.md

readonly

name	chip-spyglass-rdc-chk
description	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.

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：输入确认

从微架构文档或用户指定提取：
- 顶层模块名
- RTL 文件列表
- 复位域信息（复位名、极性、同步/异步、所属功耗域）
- 复位释放顺序（哪个复位先释放、哪个后释放）
- 复位分组（哪些复位属于同一组）
- RDC Qualifier 信号列表（阻断 RDC 路径的信号）
- Black Box 模块列表
用 Glob 验证 RTL 文件存在
检查是否已有 CDC 约束（SGDC），RDC 可复用时钟/常量/准静态约束

Phase 1：生成 RDC 约束

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

RDC 约束必须包含

# 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。

执行顺序

# 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 约束）

이 저장소의 다른 Skills

같은 저장소

chip-lint-checker

zhaixin244-wq/fnw

Use when running RTL lint checks. Triggers on 'lint', 'verilator', 'verible', 'spyglass', '语法检查', '可综合性', '组合环路', 'latch检查', 'rtl lint', 'lint检查'. Supports multiple EDA tools with auto-detection.

2026-06-0119

chip-lint-resolver

zhaixin244-wq/fnw

Use when processing vc-spyglass lint log output to resolve violations. Maps lint rules to JMTAG execution levels, proposes RTL fixes or generates waive files. Triggered by keywords like spyglass, lint log, lint violation, JMTAG, waive file, lint rules.

2026-06-0119

chip-sdc-generator

zhaixin244-wq/fnw

Use when generating comprehensive SDC timing constraints from FS/microarch documents. Triggers on '生成SDC', 'SDC约束', 'timing constraints', '时序约束文件', 'write SDC', 'SDC文件'. Produces production-quality SDC covering clocks, I/O, design rules, timing exceptions, and area/power constraints.

2026-06-0119

chip-spyglass-cdc-chk

zhaixin244-wq/fnw

Use when running SpyGlass CDC checks on RTL. Triggers on 'cdc检查', 'cdc check', 'spyglass cdc', '跨时钟域检查', 'cdc验证', 'clock domain crossing', 'cdc setup', 'cdc_verify'. Generates SGDC constraints, runs CDC goals, produces violation reports.

2026-06-0119

chip-spyglass-cdc-resolver

zhaixin244-wq/fnw

Use when processing SpyGlass CDC reports to resolve violations. Triggers on 'cdc违例', 'cdc violation', 'cdc report', 'cdc分析', 'cdc waive', 'cdc修复', 'cdc resolver'. Maps CDC rules to priority levels, proposes RTL fixes or generates waiver files.

2026-06-0119

chip-spyglass-rdc-resolver

zhaixin244-wq/fnw

Use when processing SpyGlass RDC reports to resolve violations. Triggers on 'rdc违例', 'rdc violation', 'rdc report', 'rdc分析', 'rdc waive', 'rdc修复', 'rdc resolver'. Maps RDC rules to priority levels, proposes RTL fixes or generates waiver files.

2026-06-0119

출처

zhaixin244-wq

zhaixin244-wq/fnw

GitHub 저장소 열기 Creator 저장소 보기

설치 명령

다운로드

Manus에서 실행

유용한 대상SOC

소프트웨어 개발자컴퓨터 및 수학직15-1252L4

name	chip-spyglass-rdc-chk
description	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.

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：输入确认

从微架构文档或用户指定提取：
- 顶层模块名
- RTL 文件列表
- 复位域信息（复位名、极性、同步/异步、所属功耗域）
- 复位释放顺序（哪个复位先释放、哪个后释放）
- 复位分组（哪些复位属于同一组）
- RDC Qualifier 信号列表（阻断 RDC 路径的信号）
- Black Box 模块列表
用 Glob 验证 RTL 文件存在
检查是否已有 CDC 约束（SGDC），RDC 可复用时钟/常量/准静态约束

Phase 1：生成 RDC 约束

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

RDC 约束必须包含

# 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。

执行顺序

# 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 约束）