3. SVRF语法基础：SVRF语言简介、关键字与标识符、注释规则、语句结构

SVRF（Standard Verification Rule Format）是 Calibre 平台的核心规则描述语言，用于定义 DRC、LVS、ERC 等物理验证规则。掌握 SVRF 语法是编写高质量 DRC 规则文件的前提。本节将系统介绍 SVRF 的语言特性、基本词法单元、注释规范以及语句组织方式。

3.1 SVRF语言简介

SVRF 是一种面向物理验证的领域特定语言（DSL），具有以下核心特征：

3.2 关键字与标识符

3.2.1 保留关键字

SVRF 预定义了约 60 个保留关键字，用于控制规则结构、定义操作和声明对象。以下按功能分类列出最常用的关键字：

3.2.2 标识符命名规则

标识符用于命名层、变量、规则和函数。SVRF 标识符遵循以下规范：

• 字符集：字母（a-z, A-Z）、数字（0-9）、下划线（_）
• 首字符：必须以字母或下划线开头，不能以数字开头
• 长度限制：建议不超过 64 个字符，过长可能影响可读性
• 保留字冲突：禁止与关键字同名
• 命名风格：推荐使用大写字母加下划线（如 METAL1、POLY_OD）

// 合法标识符示例
LAYER M1           // 金属1层
LAYER CONT_VIA     // 接触孔层
DERIVED GATE = POLY AND OD   // 派生层：栅极
VARIABLE min_width = 0.18    // 变量：最小宽度

// 非法标识符示例
LAYER 1METAL       // 错误：以数字开头
LAYER M1-SPACE     // 错误：包含连字符
LAYER AND          // 错误：与关键字冲突

3.3 注释规则

SVRF 支持三种注释方式，用于提高规则文件的可维护性：

// ============================================
// 文件：drc_rules_28nm.svrf
// 功能：28nm 工艺 DRC 规则集
// 作者：IC 后端设计组
// 日期：2025-03-01
// ============================================

/* 层定义部分 */
LAYER M1 31          // 金属1层，GDS 层号 31
LAYER M2 32          // 金属2层，GDS 层号 32

/**
 * 派生层：金属1上的栅极区域
 * 由 POLY 和 OD 的交集定义
 */
DERIVED GATE = POLY AND OD

/* 规则检查部分 */
RULE WIDTH M1 0.18   // M1 最小线宽 0.18um

3.4 语句结构

SVRF 语句采用自由格式，以分号（;）作为语句结束符。语句可以跨越多行，也可以在一行内书写多条语句。主要语句类型包括：

3.4.1 语句类型概览

3.4.2 语句组织与缩进

SVRF 不强制缩进，但良好的缩进风格能显著提升可读性。推荐采用以下组织方式：

// 推荐缩进风格
LAYER M1 31;
LAYER M2 32;
LAYER V1 33;

DERIVED M1_BLOCKED = M1 AND BLOCK_LAYER;
DERIVED M1_CORE    = M1 AND NOT M1_BLOCKED;

VARIABLE m1_width_min = 0.18;
VARIABLE m1_space_min = 0.22;

RULE WIDTH  M1_CORE m1_width_min;
RULE SPACE  M1_CORE m1_space_min;

// 条件编译块
IF (TECH == "28nm") {
    RULE WIDTH M1 0.18;
} ELSE {
    RULE WIDTH M1 0.24;
}

3.5 SVRF语句结构示意图

下图展示了 SVRF 规则文件的整体语句组织层次，从顶层文件包含到底层规则定义：

3.6 语句书写规范与常见错误

3.6.1 书写规范

• 语句结束：每条完整语句必须以分号（;）结尾，遗漏分号是常见语法错误
• 大小写：关键字不区分大小写，但层名和变量名区分大小写（M1 与 m1 不同）
• 空白字符：空格、制表符、换行符均视为分隔符，不影响语义
• 字符串：文件路径和注释中的字符串使用双引号（"）包裹
• 数值：支持整数和浮点数，单位默认为微米（um），可通过 UNITS 语句修改

3.6.2 常见语法错误

3.7 SVRF语法解析流程

下图展示了 Calibre 引擎解析 SVRF 规则文件的完整流程，帮助理解语法结构如何被转换为可执行的检查规则：