3. 工艺角模型与库管理

在模拟芯片的 PVT 验证中，工艺角（Process Corner）是决定仿真结果是否可信的第一道关口。器件模型本身并不直接等于“某个工艺角”，真正把工艺偏差、温度、电压组合起来的是模型库文件中的 section 定义，以及 Virtuoso ADE 中把设计变量、模型库和 section 绑定起来的方式。理解这三者的关系，才能避免“仿真跑完了，但跑的根本不是目标工艺角”这类隐蔽错误。

一、工艺角文件的结构：模型库、section 与 corner 的层级

以常见的 SPICE 模型库为例，一个工艺角文件通常由若干层组成。最外层是模型库文件（如 cmos18.lib），它本身不描述器件，而是通过 section 把不同工艺条件、不同器件类型、不同电压域下的模型参数组织起来。一个典型的库文件结构如下：

.LIB TT
.include "models/core_tt.scs"
.include "models/io_tt.scs"
.ENDL TT

.LIB FF
.include "models/core_ff.scs"
.include "models/io_ff.scs"
.ENDL FF

.LIB SS
.include "models/core_ss.scs"
.include "models/io_ss.scs"
.ENDL SS

.LIB SF
.include "models/core_sf.scs"
.include "models/io_sf.scs"
.ENDL SF

.LIB FS
.include "models/core_fs.scs"
.include "models/io_fs.scs"
.ENDL FS

这里的 .LIB ... .ENDL 就是 section 的边界。每个 section 内部可以继续 include 更细的模型文件，也可以直接写 .model 语句。需要特别注意的是，section 名（TT、FF、SS、SF、FS）只是标签，真正决定器件行为的是 section 内部引用的模型参数。同一个 section 名在不同代工厂、不同工艺节点下可能对应完全不同的参数集，因此不能凭名字判断工艺角是否被正确加载。

除了全局工艺角，实际项目还会遇到局部失配（mismatch）和统计模型。这类模型通常以独立 section 或独立库文件形式提供，例如 .LIB MC 或 .LIB MISMATCH。它们与全局 corner 是正交关系：全局 corner 决定慢/快/典型，mismatch 决定同一晶圆内器件之间的随机偏差。在 PVT 验证中，这两类模型需要分别绑定，不能混在一个 section 里。

二、section 与 corner 的定义差异

很多初学者会把 section 和 corner 当成同一个概念，实际上它们处于不同层级。section 是模型库文件内部的语法单元，是“模型参数集合的命名块”；corner 是验证计划中的工艺条件组合，通常由“工艺角 + 温度 + 电压”三要素构成。一个 corner 可以只引用一个 section，也可以同时引用多个 section（例如核心器件用 TT、IO 器件用 FF），还可以叠加 mismatch section。

在 ADE 的 Corners Setup 界面中，每个 corner 条目实际上是一组变量赋值和模型库 section 选择的集合。例如定义一个名为 SS_125C_1P62V 的 corner，其内容可能是：温度变量 temp=125，电源变量 vdd=1.62，模型库 cmos18.lib 选择 section SS。如果设计中有多个电源域，还需要分别指定每个电源域的电压值。这些变量最终会覆盖原理图中对应的设计变量，从而改变仿真条件。

三、在 Virtuoso 中绑定工艺角的方法

在 Virtuoso ADE 中绑定工艺角，通常有三种方式，分别适用于不同场景。

第一种：在 ADE L / ADE XL 的 Model Libraries 中直接指定。在 Setup → Model Libraries 中，按“库文件路径 + section 名”的格式填写，例如 /pdk/cmos18.lib TT。如果需要同时加载多个 section，可以分行填写。这种方式适合单 corner 快速验证，缺点是每换一个 corner 都要手动修改。

第二种：使用 Corners Setup 定义 corner 组合。在 ADE XL 中打开 Corners Setup，新建一个 corner，在 Model Files 栏中指定库文件和 section，在 Variables 栏中覆盖温度、电压等设计变量。一个 corner 可以包含多个模型文件条目，从而实现核心与 IO 使用不同 section 的混合绑定。定义完成后，可以在 Data View 中一次性提交多个 corner 的仿真，结果会自动按 corner 分组。

第三种：通过 Ocean Script 或 ADE Assembler 的脚本接口批量绑定。对于需要反复回归的 PVT 验证，可以把 corner 定义写成脚本，例如：

cornerList = list(
  list("TT_27C_1P8V"  "cmos18.lib" "TT" 27  1.80)
  list("FF_-40C_1P98V" "cmos18.lib" "FF" -40 1.98)
  list("SS_125C_1P62V" "cmos18.lib" "SS" 125 1.62)
  list("SF_27C_1P8V"   "cmos18.lib" "SF" 27  1.80)
  list("FS_27C_1P8V"   "cmos18.lib" "FS" 27  1.80)
)

foreach(corner cornerList
  lib = cadr(corner)
  sec = caddr(corner)
  temp = cadr(cddr(corner))
  vdd = cadr(cdddr(corner))
  ; 绑定模型库与 section
  modelFile(list(lib sec))
  ; 覆盖设计变量
  desVar("temp" temp)
  desVar("vdd" vdd)
  ; 提交仿真
  run()
)

这段脚本展示了批量绑定的核心逻辑：把 corner 名称、库文件、section、温度、电压组织成列表，循环中依次调用模型库绑定和变量覆盖，再提交仿真。实际使用时需要根据 PDK 的变量名和仿真器接口调整函数名，但结构是通用的。

四、常见绑定错误与排查

工艺角绑定中最常见的错误有三类。第一类是 section 名拼写错误或大小写不一致，导致仿真器找不到对应 section，此时日志中通常会出现 cannot find section 或类似提示。第二类是模型库路径使用了相对路径，而仿真工作目录与预期不一致，导致加载了错误版本的库文件。第三类是变量覆盖顺序问题：如果 corner 中定义的 vdd 被原理图中的默认值覆盖，实际仿真电压可能并不是目标值。

排查时建议按以下顺序检查：先确认日志中实际加载的库文件绝对路径和 section 名；再确认 corner 中变量赋值是否生效，可以在仿真日志中搜索变量最终值；最后检查是否存在多个模型库条目互相覆盖同一器件模型的情况。对于混合 section 绑定，还要确认核心器件和 IO 器件分别引用了正确的 section，避免出现“核心是 SS、IO 却是 TT”的意外组合。

掌握工艺角文件结构、section 与 corner 的层级关系，以及 Virtuoso 中的三种绑定方式，是后续进行温度扫描、电压扫描和蒙特卡洛分析的基础。绑定正确之后，PVT 验证的结果才具有可解释性；绑定错误时，即使仿真收敛、波形正常，结论也可能是无效的。