以下内容均来源于网络：
在进行综合，分析STA时，有几种库类型。
NLDM: 非线性线载模型，最基本的dot lib. 电压源模型，cap值是单一值。 在90nm工艺以下，由于晶体管的特性变得很复杂，这种模型不
足以表现真实管子行为，WARNING PT-009也有对这一模型的阐述。所以90nm以下不推荐使用这种lib
CCSM: Synopsys的复合电流源模型，与NLDM不同，它是电流源模型，表现为lib中有IVtable。
ECSM: Cadence的有效电流源模型，与CCSM一样，都是电流源模型，不同的是ECSM是对Liberty的补充(Liberty为SNPS所有），在lib中以V(t)曲线来描述。
CCSM与ECSM中的input cap值都有多个，这一点与NLDM不同，这是因为在90nm以下，input pin cap是同时由input slew和output load来决定的。 NLDM与spice之间的误差精度能达到正负5%以内，然而CCSM和ECSM却能够达到惊人的2%～3%（正负）
signoff用CCS/ECSM ， PR可以用NLDM ，这样效率高， CCS/ECSM 都特别大，工具读入都费劲，
CCS/ECSM 还包含noise信息，是NLDM 没有的
LEF：（libraryexchange format）,叫库交换格式，它是描述库单元的物理属性，包括端口位置、层定义和通孔定义。它抽象了单元的底层几何细节，提供了足够的信息，以便允许布线器在不对内部单元约束来进行修订的基础上进行单元连接。
包含了工艺的技术信息，如布线的层数、最小的线宽、线与线之间的最小距离以及每个被选用cell，BLOCK，PAD的大小和pin的实际位置。cell，PAD的这些信息由厂家提供的LEF文件给出，自己定制的BLOCK的LEF文件描述经ABSTRACT后生成，只要把这两个LEF文件整合起来就可以了。
SAIF: Switching Activity Interchange Format 可以由DC、VCS等产生，分析动态功耗。
DC综合后提取出来的RC文件。
SDF：(Standard delay format),叫标准延时格式，是IEEE标准，它描述设计中的时序信息，指明了模块管脚和管脚之间的延迟、时钟到数
据的延迟和内部连接延迟。
DSPF、RSPF、SBPF和SPEF：
DSPF（detailedstandard parasitic format）,叫详细标准寄生格式，属于CADENCE公司的文件格式。
RSPF（reducedstandard parasitic format）,叫精简标准寄生格式，属于CADENCE公司的文件格式。
SBPF（synopsysbinary parasitic format）,叫新思科技二进制寄生格式，属于SYNOPSYS公司的文件格式。
SPEF（standardparasitic exchange format）,叫标准寄生交换格式，属于IEEE国际标准文件格式。
以上四种文件格式都是从网表中提取出来的表示RC值信息，是在提取工具与时序验证工具之间传递RC信息的文件格式。