Synopsys工艺库格式已成为事实上的库标准，大多数布局布线工具都提供Synopsys库的直接转换，这种转换几乎是在Synopsys库的时序模型与布局布线的时序模型之间的一对一的映射。只要库里有许多不同驱动能力的单元，设计人员通常不关心工艺库的整个细节。为了成功进行优化设计，设计人员有必要对DC所使用的延时计算方法，线载模型及单元描述有清晰的理解。
1. 工艺库
Synopsys工艺库可以分为两大类：
——逻辑库；
——物理库；
1.1 逻辑库
逻辑库包含仅与综合过程有关的信息且通过DC用于设计的综合和优化。这一信息包含引脚到引脚的时序、面积、引脚类型和功耗以及其他DC需要的必要数据。逻辑库中没有物理信息。
逻辑库通常用扩展名“.lib”，通过使用Library Compiler（LC）编译成带有扩展名“.db”的二进制格式。
1.2 物理库
物理库包含单元的物理特征及与Physical Compiler相关的其他必要信息。这一信息可包含单元的物理尺寸、层信息及单元方位有关的数据。对于每个逻辑单元，都有一个对应的物理单元。
物理库通常用扩展名".plib"，可以通过LC编译生成带有扩展名".pdb"的二进制格式。
2.逻辑库基础
逻辑库包含如下信息：
——库类：
指定库名。
——库级属性：
作用于整个库的语句，包含库特征，如工艺类型、日期、版本和用于整个库的默认值。
——环境描述：
用于对温度、电压和制造工艺的偏差建模，包括比例因子、时序范围模型和工艺条件，也包含DC用于估算连线延迟的线载模型。
——单元描述：
包含了描述功能、时序和其他与每个单元相关信息的多种属性。此外，一些设计规则检查（DRC）属性可以同单元的每个引脚相关。它们是：
输入引脚的fanout_load属性；
输出引脚的max_fanout属性；
输入或输出引脚的max_transition属性；
输出或输入引脚的max_capacitance属性。
3.延时计算
Synopsys支持一些延时模型，包括CMOS通用延时模型、CMOS分段线性延时模型和CMOS非线性查表模型。其中，非线性延时模型最为流行。
参考文献
