iDRC · 设计规则检查

# 核心能力

# 多规则几何检查

iDRC 支持全套基本几何设计规则检查，涵盖：spacing (间距检查——同层/不同层金属、通孔间的最小间距)、width (宽度检查——金属线、通孔的最小/最大宽度)、enclosure (包围检查——金属对通孔的包围、通孔对金属的包围)、area (面积检查——金属多边形的最小面积)、notch (缺口检查——金属多边形内的凹槽宽度) 等。Agent 通过 rules 参数精确指定需要执行的规则集合 (如 ["spacing", "width"]) 或使用 ["all"] 执行全量检查。每种规则的检查结果独立返回，Agent 可以直接定位违例类型而不需解析日志。

# 增量 DRC (Dirty Region)

全芯片 DRC 是 EDA 流程中最耗时的步骤之一。iDRC 的增量模式通过跟踪自上次检查以来修改过的几何区域 (dirty region)，仅在这些受限区域内重新执行 DRC 检查。当 Agent 在 incremental=true 模式下调用 iDRC.check，iDRC 自动从 iDB 获取 dirty region 信息，合并重叠区域后做局部验证。典型场景下（如布线器修复了 5 根线网），增量 DRC 的运行时间仅为全芯片 DRC 的 2% 到 10%。检查完成后返回 clean_regions 列表——表示已验证无违例的区域边界。

# 区域限定检查

Agent 可通过 region 参数 (BBox) 将 DRC 检查限定在特定的矩形区域内。这在交互式修复场景中尤其有用——Agent 识别出一个违例区域后，可以仅对该区域及其扩展边界做反复的"修改-检查"循环，每次仅花费毫秒级时间，无需等待全芯片验证。结合 rules 参数，Agent 可以聚焦特定规则类型和特定区域，将 DRC 检查从批处理模式转变为交互式反馈环。

# 分类违例报告

iDRC 返回的违例报告是结构化的：每条违例 Violation 包含违例类型、涉及的图层、坐标 (BBox)、涉及的几何对象引用、以及严重级别。不同于传统工具的文本 DRC 报告 (需要正则解析)，这种结构化输出让 Agent 可以直接遍历违例列表，按类型分组、按区域聚类、按严重性排序——从而实现自动化违例分类和修复优先级排序。这为 Agent 构建"自主 DRC 修复"闭环提供了数据基础。

# Agent 调用方式

iDRC 提供三种等价的调用协议。

from ieda import Client

client = Client("http://localhost:9099")

# Full DRC check (all rules)
drc = client.call(
    "iDRC.check",
    design_ref="snap_7f3a",
    rules=["all"],
    incremental=False,
)

print(drc.violation_count)  # 0
print(drc.coverage)          # 1.0 (100% area checked)

# Incremental DRC: only check dirty regions
incr = client.call(
    "iDRC.check",
    design_ref="snap_7f3a",
    rules=["spacing", "width", "enclosure"],
    incremental=True,
)

print(incr.violation_count)  # 3
for v in incr.violations:
    print(v.rule, v.layer, v.bbox, v.severity)
    # enclosure, M2, [(100,200),(150,220)], ERROR

print(incr.clean_regions)   # verified-clean bounding boxes

# Region-limited DRC for interactive repair loop
region_check = client.call(
    "iDRC.check",
    design_ref="snap_7f3a",
    rules=["spacing"],
    region={"x0": 100, "y0": 200, "x1": 300, "y1": 400},
)

// JSON-RPC over MCP
{
  "jsonrpc": "2.0",
  "method": "tools/call",
  "params": {
    "name": "iDRC.check",
    "arguments": {
      "design_ref": "snap_7f3a",
      "rules": ["all"],
      "incremental": true
    }
  }
}

// Response
{
  "violation_count": 3,
  "violations": [
    {
      "rule": "enclosure",
      "layer": "M2",
      "bbox": [100, 200, 150, 220],
      "objects": ["via_0_123", "m2_456"],
      "severity": "ERROR"
    }
  ],
  "clean_regions": [
    [0, 0, 99, 199],
    [151, 221, 1000, 800]
  ],
  "coverage": 0.94,
  "design_ref": "snap_7f3a"
}

# Full DRC check (all rules)
iDRC::check -design snap_7f3a -rules {all}

# Specific rules only
iDRC::check -design snap_7f3a -rules {spacing width enclosure}

# Incremental check after local edits
iDRC::check -design snap_7f3a -incremental true

# Region-limited check
iDRC::check -design snap_7f3a -region {100 200 300 400} -rules {spacing}

# Query results
iDRC::report_violations
iDRC::report_summary
iDRC::violation_count

# 输入/输出契约

Request Schema — iDRC.check

Result Schema

# 在流程中的位置

iDRC 主要出现在布线后的物理验证阶段，但增量模式使其在 ECO 循环中也极其有用。

  RTL → iMap → iFP → iPDN → iPL → iCTS → iTO → iRT
                                                             │
                                              布线完成后     │
                                                             ↓
                                                    ──────────
                                                    ↓
                                              ◆ iDRC (设计规则检查)
                                              │   [spacing] [width]
                                              │   [enclosure] [area]
                                              │   [notch] [min-step] ...
                                              │
                                              ↓ DRC Clean?
                                              │
                                         Yes  │   No
                                          │         │
                                          ↓        ↓
                                       iLVS    iECO (工程变更)
                                     (LVS 检查)  │
                                          │      ↓
                                          ↓    iRT (局部重布线)
                                       GDSII     │
                                                 ↓
                                               iDRC (增量再检查)
                                                 ↑
                                                 └────── loop ──────┘

# 相关资源