تشغيل أي مهارة في Manus بنقرة واحدة

chip-spyglass-rdc-resolver

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.

تشغيل في Manus

نظرة عامة

أمر التثبيت

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

انسخ والصق هذا الأمر في Claude Code لتثبيت المهارة

المصدر

zhaixin244-wq/fnw

النجوم١٩

التفرعات٧

آخر تحديث١ يونيو ٢٠٢٦ في ٠٨:١٢

مستكشف الملفات

3 ملفات

SKILL.md

readonly

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

Chip SpyGlass RDC Resolver

分析 SpyGlass RDC 报告，通过 LLM 与知识库中的 RDC 规则信息，对 RTL 进行分析，给出修改建议或生成 waiver 文件。

When to Use

处理 chip-spyglass-rdc-chk 生成的 RDC 报告（rdc_summary.log、rdc_verify.log）
需要分析 RDC 违例的根因并给出 RTL 修改建议
需要为可接受的违例生成 waiver 文件
RDC 签核前的违例清理

核心工作流

0. 加载 Blackbox 模块列表
1. 解析 RDC 报告 → 提取 (rule, severity, file, line, message) 元组
2. 过滤 Blackbox → 模块在 blackbox 列表中的违例自动 waive
3. 按优先级分类违例 → P0~P4
4. 对 P0/P2 违例：必须修复，LLM 分析 RTL 给出修改方案
5. 对 P1/P3/P4 违例：LLM 分析判断是否真问题，修复或 waive
6. 输出：RTL 修改建议 + waiver 文件

Step 0: 加载 Blackbox 模块列表

读取 blackbox-modules.md（本 SKILL.md 同目录），加载 blackbox 模块列表。

判定规则：

模块名匹配 blackbox 列表条目，或
违例文件路径包含 blackbox 模块名

如果 blackbox-modules.md 为空或不存在，跳过此步骤。

Step 1: 解析 RDC 报告

RDC 报告来自 chip-spyglass-rdc-chk 的输出，典型路径：

{module}_work/ds/report/rdc/rdc_summary.log — 汇总报告
{module}_work/ds/report/rdc/3_rdc_verify.log — 亚稳态检查
{module}_work/ds/report/rdc/4_rdc_verify_corrupt.log — 数据损坏检查

SpyGlass 日志格式：

Warning [<rule_name>] <file>:<line> <message>
Error [<rule_name>] <file>:<line> <message>

提取：rule_name、severity、file path、line number、violation message。

Step 2: 过滤 Blackbox 违例

对每个解析出的违例，检查其模块是否在 blackbox 列表中。Blackbox waive 的违例在 waiver 文件中单独一节输出。

Step 3: 按优先级分类违例

查 rdc-rules-reference.md（本 SKILL.md 同目录）中的规则映射表。

如果规则不在映射表中，标记为 "unknown rule" 并提示用户手动分类。

Step 4: 执行优先级动作

优先级	动作	输出
P0 (Async Reset Metastability)	必须修复。添加复位同步器或设置 reset ordering	RTL 修改建议
P1 (Reset-less Path Corruption)	分析判断。添加 qualifier 或 safe-stating 逻辑	修复或 waive
P2 (RDC on Clock Path)	必须修复。复位信号禁止组合逻辑驱动时钟	RTL 修改建议
P3 (Reset Convergence)	分析判断。检查复位是否正确分组	修复或 waive
P4 (Power Domain RDC)	分析判断。需 UPF 确认隔离/开关	修复或 waive

关键规则：P0 和 P2 绝对禁止 waive，必须从设计层面修复。

Step 5: 生成输出

5a. RTL 修改建议 (`rdc_fix_proposal.md`)

# RDC Fix Proposal

## Summary
- Total violations: N
- Blackbox waived: N
- P0 must-fix: N (Async Reset Metastability)
- P2 must-fix: N (RDC on Clock Path)
- P1/P3/P4 reviewed: N
  - Fix required: N
  - Waived: N
- Unknown rules: N

## P0 — Must Fix (NEVER Waive)

### [P0] Ar_asyncreset01 — <file>:<line>
**Violation:** <message>
**Root Cause:** <分析>
**Fix:**
```verilog
// Before
<原始代码>

// After — 异步复位同步释放
<修复代码>

P2 — Must Fix (NEVER Waive)

[P2] Rdc_clockpath01 — :

Violation: Root Cause: <分析> Fix:

// Before — 复位信号通过组合逻辑驱动时钟
<原始代码>

// After — 寄存器输出直接驱动 ICG
<修复代码>

P1/P3/P4 — Reviewed

[P1] Rdc_corrupt01 — :

Violation: Assessment: <真数据损坏风险 / 误报> Action: Fix / Waive


#### 5b. Waiver 文件 (`{module}.rdc.waiver`)

SpyGlass waiver 文件格式：

```waiver
// Auto-generated RDC waiver file
// Module: {module}
// Date: YYYY-MM-DD
// Generated by chip-spyglass-rdc-resolver

// === Blackbox Module Waives ===
waive -rule <rule> -file <file> -line <line> -message "BLACKBOX: <module> is in blackbox list (<reason>)"

// === Constraint-based Waives (推荐替代方案) ===
// set_rdc_define_assertion_sequence — 复位释放顺序
// set_reset_groups — 复位分组
// rdc_qualifier — 阻断信号

// === P1/P3/P4 Conditional Waives ===
waive -rule <rule> -file <file> -line <line> -message "<reason>"

Waive 理由：

BLACKBOX 模块："BLACKBOX: <module> is in blackbox list (<reason>)"
Reset ordering 可解决："Can be resolved by set_rdc_define_assertion_sequence"
Reset grouping 可解决："Can be resolved by set_reset_groups"
Qualifier 可解决："Can be resolved by rdc_qualifier"
误报："False positive: <explanation>"

注意：对于 reset ordering/grouping/qualifier 可解决的违例，优先建议修改 RDC 约束而非 waive。

Step 6: Wiki 知识查询

对复杂违例，查询 wiki 获取规则详情：

wiki query: "<rule_name> RDC violation fix"

利用 wiki 知识（[[SpyGlass-RDC-Methodology]]）提高根因分析和修复建议的质量。

输出文件

文件	用途	位置
`rdc_fix_proposal.md`	RTL 修改建议	与 RDC 报告同目录
`{module}.rdc.waiver`	RDC waiver 文件	`ds/run/` 目录

参考文件

文件	说明
`rdc-rules-reference.md`	RDC 规则 → 优先级映射（P0~P4）+ 分析指引
`blackbox-modules.md`	可配置的 blackbox 模块列表（自动 waive）

常见错误

问题	处理
规则不在映射表	标记 unknown，提示用户分类
日志格式未知	要求用户粘贴样本
用户要求 waive P0/P2	拒绝，提示必须修复
wiki 知识不可用	使用通用知识继续，标注 "wiki unavailable"
blackbox-modules.md 为空	跳过 blackbox 检查，处理所有违例

与 chip-spyglass-rdc-chk 的关系

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

المزيد من هذا المستودع

نفس المستودع

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-chk

zhaixin244-wq/fnw

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.

2026-06-0119

المصدر

zhaixin244-wq

zhaixin244-wq/fnw

فتح مستودع GitHub عرض مستودعات المنشئ

أمر التثبيت

تنزيل

تشغيل في Manus

مفيد لـSOC

مطوّرو البرمجياتمهن الحاسوب والرياضيات15-1252L4

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

Chip SpyGlass RDC Resolver

分析 SpyGlass RDC 报告，通过 LLM 与知识库中的 RDC 规则信息，对 RTL 进行分析，给出修改建议或生成 waiver 文件。

When to Use

处理 chip-spyglass-rdc-chk 生成的 RDC 报告（rdc_summary.log、rdc_verify.log）
需要分析 RDC 违例的根因并给出 RTL 修改建议
需要为可接受的违例生成 waiver 文件
RDC 签核前的违例清理

核心工作流

0. 加载 Blackbox 模块列表
1. 解析 RDC 报告 → 提取 (rule, severity, file, line, message) 元组
2. 过滤 Blackbox → 模块在 blackbox 列表中的违例自动 waive
3. 按优先级分类违例 → P0~P4
4. 对 P0/P2 违例：必须修复，LLM 分析 RTL 给出修改方案
5. 对 P1/P3/P4 违例：LLM 分析判断是否真问题，修复或 waive
6. 输出：RTL 修改建议 + waiver 文件

Step 0: 加载 Blackbox 模块列表

读取 blackbox-modules.md（本 SKILL.md 同目录），加载 blackbox 模块列表。

判定规则：

模块名匹配 blackbox 列表条目，或
违例文件路径包含 blackbox 模块名

如果 blackbox-modules.md 为空或不存在，跳过此步骤。

Step 1: 解析 RDC 报告

RDC 报告来自 chip-spyglass-rdc-chk 的输出，典型路径：

{module}_work/ds/report/rdc/rdc_summary.log — 汇总报告
{module}_work/ds/report/rdc/3_rdc_verify.log — 亚稳态检查
{module}_work/ds/report/rdc/4_rdc_verify_corrupt.log — 数据损坏检查

SpyGlass 日志格式：

Warning [<rule_name>] <file>:<line> <message>
Error [<rule_name>] <file>:<line> <message>

提取：rule_name、severity、file path、line number、violation message。

Step 2: 过滤 Blackbox 违例

对每个解析出的违例，检查其模块是否在 blackbox 列表中。Blackbox waive 的违例在 waiver 文件中单独一节输出。

Step 3: 按优先级分类违例

查 rdc-rules-reference.md（本 SKILL.md 同目录）中的规则映射表。

如果规则不在映射表中，标记为 "unknown rule" 并提示用户手动分类。

Step 4: 执行优先级动作

优先级	动作	输出
P0 (Async Reset Metastability)	必须修复。添加复位同步器或设置 reset ordering	RTL 修改建议
P1 (Reset-less Path Corruption)	分析判断。添加 qualifier 或 safe-stating 逻辑	修复或 waive
P2 (RDC on Clock Path)	必须修复。复位信号禁止组合逻辑驱动时钟	RTL 修改建议
P3 (Reset Convergence)	分析判断。检查复位是否正确分组	修复或 waive
P4 (Power Domain RDC)	分析判断。需 UPF 确认隔离/开关	修复或 waive

关键规则：P0 和 P2 绝对禁止 waive，必须从设计层面修复。

Step 5: 生成输出

5a. RTL 修改建议 (`rdc_fix_proposal.md`)

# RDC Fix Proposal

## Summary
- Total violations: N
- Blackbox waived: N
- P0 must-fix: N (Async Reset Metastability)
- P2 must-fix: N (RDC on Clock Path)
- P1/P3/P4 reviewed: N
  - Fix required: N
  - Waived: N
- Unknown rules: N

## P0 — Must Fix (NEVER Waive)

### [P0] Ar_asyncreset01 — <file>:<line>
**Violation:** <message>
**Root Cause:** <分析>
**Fix:**
```verilog
// Before
<原始代码>

// After — 异步复位同步释放
<修复代码>

P2 — Must Fix (NEVER Waive)

[P2] Rdc_clockpath01 — :

Violation: Root Cause: <分析> Fix:

// Before — 复位信号通过组合逻辑驱动时钟
<原始代码>

// After — 寄存器输出直接驱动 ICG
<修复代码>

P1/P3/P4 — Reviewed

[P1] Rdc_corrupt01 — :

Violation: Assessment: <真数据损坏风险 / 误报> Action: Fix / Waive


#### 5b. Waiver 文件 (`{module}.rdc.waiver`)

SpyGlass waiver 文件格式：

```waiver
// Auto-generated RDC waiver file
// Module: {module}
// Date: YYYY-MM-DD
// Generated by chip-spyglass-rdc-resolver

// === Blackbox Module Waives ===
waive -rule <rule> -file <file> -line <line> -message "BLACKBOX: <module> is in blackbox list (<reason>)"

// === Constraint-based Waives (推荐替代方案) ===
// set_rdc_define_assertion_sequence — 复位释放顺序
// set_reset_groups — 复位分组
// rdc_qualifier — 阻断信号

// === P1/P3/P4 Conditional Waives ===
waive -rule <rule> -file <file> -line <line> -message "<reason>"

Waive 理由：

BLACKBOX 模块："BLACKBOX: <module> is in blackbox list (<reason>)"
Reset ordering 可解决："Can be resolved by set_rdc_define_assertion_sequence"
Reset grouping 可解决："Can be resolved by set_reset_groups"
Qualifier 可解决："Can be resolved by rdc_qualifier"
误报："False positive: <explanation>"

注意：对于 reset ordering/grouping/qualifier 可解决的违例，优先建议修改 RDC 约束而非 waive。

Step 6: Wiki 知识查询

对复杂违例，查询 wiki 获取规则详情：

wiki query: "<rule_name> RDC violation fix"

利用 wiki 知识（[[SpyGlass-RDC-Methodology]]）提高根因分析和修复建议的质量。

输出文件

文件	用途	位置
`rdc_fix_proposal.md`	RTL 修改建议	与 RDC 报告同目录
`{module}.rdc.waiver`	RDC waiver 文件	`ds/run/` 目录

参考文件

文件	说明
`rdc-rules-reference.md`	RDC 规则 → 优先级映射（P0~P4）+ 分析指引
`blackbox-modules.md`	可配置的 blackbox 模块列表（自动 waive）

常见错误

问题	处理
规则不在映射表	标记 unknown，提示用户分类
日志格式未知	要求用户粘贴样本
用户要求 waive P0/P2	拒绝，提示必须修复
wiki 知识不可用	使用通用知识继续，标注 "wiki unavailable"
blackbox-modules.md 为空	跳过 blackbox 检查，处理所有违例

与 chip-spyglass-rdc-chk 的关系

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

chip-spyglass-rdc-resolver

Chip SpyGlass RDC Resolver

When to Use

核心工作流

Step 0: 加载 Blackbox 模块列表

Step 1: 解析 RDC 报告

Step 2: 过滤 Blackbox 违例

Step 3: 按优先级分类违例

Step 4: 执行优先级动作

Step 5: 生成输出

5a. RTL 修改建议 (rdc_fix_proposal.md)

P2 — Must Fix (NEVER Waive)

[P2] Rdc_clockpath01 — :

P1/P3/P4 — Reviewed

[P1] Rdc_corrupt01 — :

Step 6: Wiki 知识查询

输出文件

参考文件

常见错误

与 chip-spyglass-rdc-chk 的关系

المزيد من هذا المستودع

Chip SpyGlass RDC Resolver

When to Use

核心工作流

Step 0: 加载 Blackbox 模块列表

Step 1: 解析 RDC 报告

Step 2: 过滤 Blackbox 违例

Step 3: 按优先级分类违例

Step 4: 执行优先级动作

Step 5: 生成输出

5a. RTL 修改建议 (rdc_fix_proposal.md)

P2 — Must Fix (NEVER Waive)

[P2] Rdc_clockpath01 — :

P1/P3/P4 — Reviewed

[P1] Rdc_corrupt01 — :

Step 6: Wiki 知识查询

输出文件

参考文件

常见错误

与 chip-spyglass-rdc-chk 的关系

المزيد من هذا المستودع

5a. RTL 修改建议 (`rdc_fix_proposal.md`)

5a. RTL 修改建议 (`rdc_fix_proposal.md`)