2. DRC规则文件解析：结构、语法与常见命令

DRC（Design Rule Check）规则文件是物理验证工具执行检查的依据，通常以标准格式编写。主流格式包括 SVRF（Standard Verification Rule Format） 和 TCL（Tool Command Language）。本章深入解析这两种规则文件的结构层次、核心语法与高频命令，帮助工程师快速读懂并优化规则。

2.1 规则文件的整体结构层次

无论是 SVRF 还是 TCL 格式，DRC 规则文件通常遵循“层定义 → 派生层运算 → 检查语句 → 输出控制”的线性结构。下表对比了两种格式在结构上的对应关系：

2.2 SVRF 语法核心与常见命令

SVRF 是 Calibre 工具的原生规则格式，采用“命令 + 参数”的声明式语法，不区分大小写，注释以 // 或 /* */ 标记。

2.2.1 层定义与派生

// 基础层定义
LAYER M1 31
LAYER V1 32
LAYER M2 33

// 派生层：布尔运算
M1_ACTIVE = M1 AND DIFF
M1_GATE = M1 AND POLY

// 派生层：尺寸运算
M1_ENLARGE = M1 ENLARGE 0.1
M1_TRIM = M1 NOT M1_ENLARGE

2.2.2 几何检查命令

2.2.3 控制流与输出

// 条件检查（IF 结构）
IF { M1_ACTIVE != NULL } {
    WIDTH M1_ACTIVE < 0.18
}

// 结果输出
RESULT DRC_RESULTS
RESULT_FORMAT ASCII
RESOLUTION 1000

2.3 TCL 语法核心与常见命令

TCL 格式在 ICV、PVS 等工具中广泛使用，采用“命令 + 选项 + 参数”的函数式语法，支持变量、循环和过程化编程。

2.3.1 层定义与派生

# 基础层定义
setLayer M1 31
setLayer V1 32
setLayer M2 33

# 派生层：布尔运算
setLayer M1_ACTIVE [and M1 DIFF]
setLayer M1_GATE [and M1 POLY]

# 派生层：尺寸运算
setLayer M1_ENLARGE [size M1 0.1]
setLayer M1_TRIM [not M1 M1_ENLARGE]

2.3.2 几何检查命令

2.3.3 变量与过程化控制

# 变量定义
set MIN_WIDTH 0.18
set MIN_SPACE 0.20

# 条件检查
if {[layerExists M1_ACTIVE]} {
    checkWidth M1_ACTIVE -min $MIN_WIDTH
}

# 循环检查多个层
foreach layer {M1 M2 M3} {
    checkWidth $layer -min $MIN_WIDTH
}

# 结果输出
setResultDB DRC_RESULTS -format GDSII

2.4 SVRF 与 TCL 语法对比总结

2.5 规则文件解析流程

当面对一个陌生规则文件时，建议按以下步骤进行解析：

1. 识别格式：查看文件头注释或第一行命令，判断是 SVRF 还是 TCL。
2. 提取层映射表：扫描所有 LAYER 或 setLayer 语句，建立 GDS 层号与逻辑名称的对应关系。
3. 追踪派生层链：从基础层出发，逐层追踪布尔运算和尺寸运算，绘制层依赖图。
4. 定位检查语句：找到所有 WIDTH/SPACE/checkWidth/checkSpace 等检查命令，记录检查对象和阈值。
5. 理解输出配置：查看 RESULT 或 setResultDB 语句，确认结果数据库的格式和路径。

2.6 规则文件结构可视化

下图展示了一个典型 DRC 规则文件从层定义到结果输出的完整数据流：

2.7 常见命令速查表

以下速查表覆盖了 DRC 规则文件中最高频使用的命令，按功能分类：