📚 课程目录第2章 PrimeTime多模式多角数据模型

2. PrimeTime多模式多角数据模型

多模式多角（Multi-Mode Multi-Corner，MMMC）分析的核心难点不在“跑一次STA”，而在于如何把设计在不同工作模式、不同工艺角、不同电压温度条件下的时序要求，组织成PrimeTime能够正确识别和组合的数据模型。如果模型定义错误，PrimeTime可能用错误的SDC约束去分析错误的库，结果看似收敛，实际却掩盖了真实违例。本节围绕MMMC视图定义，梳理scenario、mode、corner、library set、operating condition之间的关系与配置对象。

一、MMMC数据模型的层次结构

PrimeTime的MMMC模型可以理解为“场景（scenario）是分析的最小执行单元，而场景由模式、角、库集和约束共同定义”。其层次关系如下：

mode（模式）：描述设计的功能工作状态，例如正常功能模式、扫描测试模式、低功耗模式。每个mode对应一组SDC约束，定义时钟、输入延迟、输出负载、时序例外等。
corner（角）：描述工艺、电压、温度（PVT）条件，例如slow、typical、fast。每个corner对应一个或多个库文件，决定标准单元和宏单元的延迟特性。
library set（库集）：将多个库文件按用途分组，例如标准单元库、IO库、存储器库。一个library set可以包含多个corner对应的库版本。
operating condition（工作条件）：在库内部定义的具体PVT参数，通常与corner绑定，用于选择库中对应的时序表。
scenario（场景）：由mode + corner + library set + SDC约束组合而成，是PrimeTime实际执行时序分析的单位。

这些对象不是孤立存在的，而是通过配置文件（通常为.tcl脚本）逐层建立引用关系。理解它们之间的“谁引用谁”，是避免配置错误的关键。

二、配置对象之间的引用关系

在PrimeTime中，MMMC配置通常通过以下命令序列建立：

# 1. 定义mode
create_mode func_mode
create_mode scan_mode

# 2. 定义corner
create_corner slow_corner
create_corner fast_corner

# 3. 定义library set
create_library_set -name slow_lib_set \
  -timing {slow_std.db slow_mem.db}
create_library_set -name fast_lib_set \
  -timing {fast_std.db fast_mem.db}

# 4. 定义scenario
create_scenario -name func_slow \
  -mode func_mode -corner slow_corner \
  -library_set slow_lib_set
create_scenario -name scan_fast \
  -mode scan_mode -corner fast_corner \
  -library_set fast_lib_set

# 5. 关联SDC约束
set_scenario_options -scenario func_slow \
  -sdc_file func.sdc
set_scenario_options -scenario scan_fast \
  -sdc_file scan.sdc

从上述配置可以看出：mode决定“约束什么”，corner决定“用什么库”，library set决定“库文件从哪里来”，scenario则是四者的组合实例。一个mode可以出现在多个scenario中，一个corner也可以被多个scenario复用。这种多对多关系正是MMMC灵活性的来源，但也要求工程师必须清楚每个scenario的完整定义。

关键理解：mode与SDC约束绑定，corner与library set绑定，scenario是mode和corner的交叉组合。如果某个scenario缺少SDC或library set，PrimeTime会在分析时报错或使用默认值，导致结果不可信。

三、operating condition与corner的关系

operating condition通常定义在库文件内部，例如：

operating_conditions("slow") {
  process : 1.0;
  voltage : 0.81;
  temperature : 125;
}

在PrimeTime中，corner通过library set间接引用operating condition。一个library set可以包含多个库，每个库可能定义不同的operating condition。PrimeTime会根据corner名称和库中的operating condition进行匹配。如果库中没有与corner同名的operating condition，则需要通过set_operating_conditions显式指定。

实际工程中，常见的做法是：corner名称与库中的operating condition名称保持一致，例如ss_0p81v_125c、ff_0p99v_m40c。这样在创建library set时，PrimeTime可以自动匹配，减少手动配置错误。

四、MMMC视图的完整数据流

下图展示了从设计输入到场景执行的完整数据流，帮助理解各配置对象之间的依赖关系：

从图中可以清晰看到：mode、corner、library set是三个独立的配置维度，它们共同组合成scenario。PrimeTime在执行分析时，会为每个scenario单独加载对应的库、约束和PVT条件，然后并行或串行地计算时序。最终报告会按scenario分别输出，工程师需要逐个检查每个场景的建立时间和保持时间。

五、常见配置错误与检查方法

在实际项目中，MMMC配置错误往往不会直接报错，而是导致分析结果偏离预期。以下是几种典型问题：

错误现象	可能原因	检查方法
某个scenario没有时序报告	scenario未关联SDC或library set	使用`report_scenarios`查看每个场景的完整配置
建立时间违例异常大	corner与library set不匹配，使用了错误库	检查`report_library_set`确认库文件路径和版本
扫描模式时序未分析	scan_mode未创建或未绑定到scenario	使用`report_modes`确认模式列表
operating condition警告	库中无同名operating condition	使用`report_operating_conditions`查看库内可用条件

注意：PrimeTime默认不会自动检查所有scenario是否完整。建议在配置完成后，使用check_scenarios或report_scenarios -verbose逐项核对mode、corner、library set、SDC的关联关系，确保没有遗漏或错配。

六、配置检查清单

以下清单可用于项目MMMC配置完成后的快速复查：

每个mode是否都有对应的SDC文件，且SDC中的时钟定义与模式匹配？
每个corner是否都有对应的library set，且库文件版本与PVT条件一致？
每个scenario是否同时引用了mode、corner、library set和SDC？
library set中的库是否包含目标corner所需的operating condition？
是否存在冗余scenario（相同mode+corner组合重复定义）？
是否所有需要分析的mode和corner组合都已覆盖？

掌握MMMC数据模型的关键，在于理解“scenario是分析单元，mode和corner是正交维度，library set和operating condition是库的映射”。只有把每个配置对象的引用关系理清，才能确保PrimeTime在正确的约束和正确的库下分析正确的场景，从而得到可信的时序结果。