Chip Spyglass Rdc Resolver

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 和 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]]）提高根因分析和修复建议的质量。

输出文件

参考文件

常见错误

与 chip-spyglass-rdc-chk 的关系

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